Log of /types/builtin_defs.ml

---

Revision 956 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:13:56 2007 UTC (5 years, 10 months ago) by abate
File length: 2267 byte(s)
Diff to previous 870

[r2004-01-20 16:12:13 by afrisch] Debut des types abstraits

Original author: afrisch
Date: 2004-01-20 16:12:15+00:00

---

Revision 870 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:08:21 2007 UTC (5 years, 10 months ago) by abate
File length: 2119 byte(s)
Diff to previous 782

[r2003-11-28 14:07:48 by szach] added time_kind field to value and types created when validating time
related types

Original author: szach
Date: 2003-11-28 14:07:48+00:00

---

Revision 782 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:02:44 2007 UTC (5 years, 10 months ago) by abate
File length: 1826 byte(s)
Diff to previous 749

[r2003-11-20 11:30:02 by szach] added some Int subtypes corresponding to some XML Schema types

Original author: szach
Date: 2003-11-20 11:30:02+00:00

---

Revision 749 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:00:40 2007 UTC (5 years, 10 months ago) by abate
File length: 1493 byte(s)
Diff to previous 656

[r2003-10-24 09:12:52 by szach] added shortand for Types.Char.any

Original author: szach
Date: 2003-10-24 09:12:52+00:00

---

Revision 656 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:51:50 2007 UTC (5 years, 10 months ago) by abate
File length: 1467 byte(s)
Diff to previous 623

[r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more uppercase/lowercase distinction for
identifiers

Original author: cvscast
Date: 2003-09-16 21:30:45+00:00

---

Revision 623 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:48:50 2007 UTC (5 years, 10 months ago) by abate
File length: 1449 byte(s)
Diff to previous 501

[r2003-07-24 15:11:47 by cvscast] Experiment with encoded references

Original author: cvscast
Date: 2003-07-24 15:12:14+00:00

---

Revision 501 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 17:39:47 2007 UTC (5 years, 10 months ago) by abate
File length: 1068 byte(s)

[r2003-06-12 13:15:56 by cvscast] Merging schema branch

Original author: cvscast
Date: 2003-06-12 13:16:00+00:00