Log of /types/sortedList.ml

---

Revision 1724 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:17:02 2007 UTC (5 years, 10 months ago) by abate
File length: 16455 byte(s)
Diff to previous 1658

[r2005-06-15 15:28:42 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-15 15:28:42+00:00

---

Revision 1658 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:12:18 2007 UTC (5 years, 10 months ago) by abate
File length: 16418 byte(s)
Diff to previous 1495

[r2005-05-05 22:42:31 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-05 22:43:43+00:00

---

Revision 1495 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:55:50 2007 UTC (5 years, 10 months ago) by abate
File length: 16373 byte(s)
Diff to previous 1464

[r2005-03-03 23:47:00 by afrisch] Identifiers are now qualified names. Uniform dot syntax for external
CDuce and OCaml unit

Original author: afrisch
Date: 2005-03-03 23:47:02+00:00

---

Revision 1464 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:52:34 2007 UTC (5 years, 10 months ago) by abate
File length: 16316 byte(s)
Diff to previous 1424

[r2005-02-21 17:32:57 by afrisch] New compilation for types -- does not detect ill-formed recursion yet

Original author: afrisch
Date: 2005-02-21 17:32:57+00:00

---

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

[r2005-01-14 09:35:32 by afrisch] Change access to the stack in dispatcher -- this facilitates tail
recursion in run_dispatcher...

Original author: afrisch
Date: 2005-01-14 09:35:33+00:00

---

Revision 1358 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:42:26 2007 UTC (5 years, 10 months ago) by abate
File length: 16088 byte(s)
Diff to previous 1355

[r2004-12-23 13:31:47 by afrisch] Compil

Original author: afrisch
Date: 2004-12-23 13:31:48+00:00

---

Revision 1355 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:42:11 2007 UTC (5 years, 10 months ago) by abate
File length: 16008 byte(s)
Diff to previous 1353

[r2004-12-23 00:10:05 by afrisch] Derivation

Original author: afrisch
Date: 2004-12-23 00:10:05+00:00

---

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

[r2004-12-22 00:41:57 by afrisch] Better factorization

Original author: afrisch
Date: 2004-12-22 00:41:57+00:00

---

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: 15273 byte(s)
Diff to previous 698

[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 698 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:56:40 2007 UTC (5 years, 10 months ago) by abate
File length: 11568 byte(s)
Diff to previous 691

[r2003-10-04 02:00:15 by cvscast] Compilation + serialization

Original author: cvscast
Date: 2003-10-04 02:01:37+00:00

---

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

[r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ...

Original author: cvscast
Date: 2003-09-27 12:41:34+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: 11129 byte(s)
Diff to previous 653

[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 653 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:51:13 2007 UTC (5 years, 10 months ago) by abate
File length: 10794 byte(s)
Diff to previous 529

[r2003-09-14 19:36:06 by cvscast] Cleaning + upgrade to OCaml 3.07+beta2 (use recursive modules)

Original author: cvscast
Date: 2003-09-14 19:36:10+00:00

---

Revision 529 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:42:07 2007 UTC (5 years, 10 months ago) by abate
File length: 11533 byte(s)
Diff to previous 424

[r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain

Original author: cvscast
Date: 2003-06-25 23:11:03+00:00

---

Revision 424 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:33:41 2007 UTC (5 years, 10 months ago) by abate
File length: 10633 byte(s)
Diff to previous 367

[r2003-05-25 11:46:41 by cvscast] Menage

Original author: cvscast
Date: 2003-05-25 11:46:41+00:00

---

Revision 367 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:28:43 2007 UTC (5 years, 10 months ago) by abate
File length: 10595 byte(s)
Diff to previous 276

[r2003-05-18 14:42:51 by cvscast] Clean-up

Original author: cvscast
Date: 2003-05-18 14:44:17+00:00

---

Revision 276 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:39 2007 UTC (5 years, 10 months ago) by abate
File length: 10730 byte(s)
Diff to previous 271

[r2003-03-23 11:34:36 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-23 11:34:37+00:00

---

Revision 271 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:17 2007 UTC (5 years, 10 months ago) by abate
File length: 10482 byte(s)
Diff to previous 243

[r2003-03-22 21:56:53 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 21:57:06+00:00

---

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

[r2003-03-15 10:59:53 by cvscast] map pour les chars et les atoms

Original author: cvscast
Date: 2003-03-15 10:59:54+00:00

---

Revision 240 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:18:24 2007 UTC (5 years, 10 months ago) by abate
File length: 9696 byte(s)
Diff to previous 237

[r2003-03-14 18:11:21 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 18:13:42+00:00

---

Revision 237 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:18:04 2007 UTC (5 years, 10 months ago) by abate
File length: 9385 byte(s)
Diff to previous 234

[r2003-03-14 16:14:17 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 16:15:14+00:00

---

Revision 234 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:17:37 2007 UTC (5 years, 10 months ago) by abate
File length: 9043 byte(s)
Diff to previous 233

[r2003-03-11 19:19:48 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-11 19:19:48+00:00

---

Revision 233 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:17:31 2007 UTC (5 years, 10 months ago) by abate
File length: 8691 byte(s)
Diff to previous 225

[r2003-03-10 22:35:20 by cvscast] De nouveau rapides, les records

Original author: cvscast
Date: 2003-03-10 22:35:21+00:00

---

Revision 225 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:16:34 2007 UTC (5 years, 10 months ago) by abate
File length: 8018 byte(s)
Diff to previous 224

[r2003-03-08 15:10:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 15:10:03+00:00

---

Revision 224 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:16:14 2007 UTC (5 years, 10 months ago) by abate
File length: 3406 byte(s)
Diff to previous 1

[r2003-03-08 03:46:23 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 03:46:23+00:00

---

Revision 1 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 16:56:44 2007 UTC (5 years, 10 months ago) by abate
File length: 1962 byte(s)

[r2002-10-10 09:11:23 by cvscast] Initial revision

Original author: cvscast
Date: 2002-10-10 09:11:23+00:00