Commits · 4080a54ae9a66b15145efa800922e012af183353 · cduce / cduce

05 Oct, 2007 24 commits
- [r2004-06-27 21:11:51 by afrisch] New ocaml interface · c78699d9
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2004-06-27 21:11:54+00:00
```
  c78699d9
- [r2004-01-20 16:12:13 by afrisch] Debut des types abstraits · 598033dc
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2004-01-20 16:12:15+00:00
```
  598033dc
- [r2003-10-04 02:00:15 by cvscast] Compilation + serialization · 50e4a083
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-10-04 02:01:37+00:00
```
  50e4a083
- [r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more... · 5e225cc3
  Pietro Abate authored Oct 05, 2007
```
[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
```
  5e225cc3
- [r2003-09-14 19:36:06 by cvscast] Cleaning + upgrade to OCaml 3.07+beta2 (use recursive modules) · db429119
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-09-14 19:36:10+00:00
```
  db429119
- [r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix... · 604979bd
  Pietro Abate authored Oct 05, 2007
```
[r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix pretty printing p:* -- Alain

Original author: cvscast
Date: 2003-07-02 18:05:04+00:00
```
  604979bd
- [r2003-06-30 21:35:52 by cvscast] Review internal pretting printing of namespaces -- Alain · 1b67f651
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 21:35:53+00:00
```
  1b67f651
- [r2003-06-29 20:28:52 by cvscast] Continuing namespaces : records and print_xml -- Alain · 05bc55c9
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-29 20:28:53+00:00
```
  05bc55c9
- [r2003-06-26 09:10:05 by cvscast] Optim dispatch on atoms · 43dd7103
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-26 09:10:05+00:00
```
  43dd7103
- [r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain · 193b887b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-25 23:11:03+00:00
```
  193b887b
- [r2003-05-20 13:27:25 by cvscast] Unicode support · ac92d939
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-05-20 13:27:27+00:00
```
  ac92d939
- [r2003-04-02 12:34:22 by cvscast] Empty log message · bd8a1e50
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-04-02 12:34:22+00:00
```
  bd8a1e50
- [r2003-03-22 21:56:53 by cvscast] Empty log message · 8d1c7d8a
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-22 21:57:06+00:00
```
  8d1c7d8a
- [r2003-03-17 22:44:29 by cvscast] Empty log message · 9cf4a7db
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-17 22:44:44+00:00
```
  9cf4a7db
- [r2003-03-16 11:35:09 by cvscast] Empty log message · a52e7583
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-16 11:35:09+00:00
```
  a52e7583
- [r2003-03-15 10:59:53 by cvscast] map pour les chars et les atoms · eea1d6fb
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-15 10:59:54+00:00
```
  eea1d6fb
- [r2003-03-14 16:14:17 by cvscast] Empty log message · 320cb519
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-14 16:15:14+00:00
```
  320cb519
- [r2003-03-08 15:10:01 by cvscast] Empty log message · c66d89b5
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-08 15:10:03+00:00
```
  c66d89b5
- [r2003-03-08 03:46:23 by cvscast] Empty log message · 2a116016
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-08 03:46:23+00:00
```
  2a116016
- [r2003-03-07 17:31:04 by cvscast] Empty log message · 59c2242e
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-07 17:31:05+00:00
```
  59c2242e
- [r2003-03-06 21:51:57 by cvscast] Empty log message · f5cbbde4
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-06 21:51:57+00:00
```
  f5cbbde4
- [r2002-11-10 22:26:37 by cvscast] Passage au type XML · be08ba37
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-11-10 22:26:39+00:00
```
  be08ba37
- [r2002-10-19 20:52:17 by cvscast] Empty log message · 46cc4f61
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-19 20:52:18+00:00
```
  46cc4f61
- [r2002-10-10 09:11:23 by cvscast] Empty log message · 11654b8a
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-10 09:11:23+00:00
```
  11654b8a
10 Jul, 2007 16 commits
- [r2006-05-29 12:31:49 by afrisch] Empty log message · 4fc1fc84
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-05-29 12:31:50+00:00
```
  4fc1fc84
- [r2006-04-21 15:53:55 by afrisch] Compute witnesses during subtyping · 5425cb80
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-04-21 15:53:56+00:00
```
  5425cb80
- [r2005-07-05 13:49:21 by afrisch] Merging cduce_serialize branch · 81df23f2
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-05 13:49:26+00:00
```
  81df23f2
- [r2005-06-18 06:58:35 by afrisch] Start using unique pools · 28e0f5ee
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-06-18 07:00:04+00:00
```
  28e0f5ee
- [r2005-06-17 15:42:03 by afrisch] Empty log message · 1210b07c
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-06-17 15:42:04+00:00
```
  1210b07c
- [r2005-06-17 14:55:43 by afrisch] New representation for integer maps (used... · 171847b1
  Pietro Abate authored Jul 10, 2007
```
[r2005-06-17 14:55:43 by afrisch] New representation for integer maps (used for dispatcher on atoms and
for record values

Original author: afrisch
Date: 2005-06-17 14:55:44+00:00
```
  171847b1
- [r2005-02-18 17:36:34 by afrisch] Schema and namespaces · 2bab8d2c
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-02-18 17:36:35+00:00
```
  2bab8d2c
- [r2004-12-21 16:09:03 by afrisch] Empty log message · 659f225d
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-12-21 16:09:03+00:00
```
  659f225d
- [r2004-07-13 21:15:18 by afrisch] Merge in branch ocaml308 · 8ed56943
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-07-13 21:15:19+00:00
```
  8ed56943
- [r2004-06-27 21:11:51 by afrisch] New ocaml interface · 9b9e1d66
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-06-27 21:11:54+00:00
```
  9b9e1d66
- [r2004-01-20 16:12:13 by afrisch] Debut des types abstraits · 78448cfb
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-01-20 16:12:15+00:00
```
  78448cfb
- [r2003-10-04 02:00:15 by cvscast] Compilation + serialization · 3385c1e7
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-04 02:01:37+00:00
```
  3385c1e7
- [r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more... · 2da34588
  Pietro Abate authored Jul 10, 2007
```
[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
```
  2da34588
- [r2003-09-14 19:36:06 by cvscast] Cleaning + upgrade to OCaml 3.07+beta2 (use recursive modules) · b8d175e6
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-09-14 19:36:10+00:00
```
  b8d175e6
- [r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix... · 86155dfc
  Pietro Abate authored Jul 10, 2007
```
[r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix pretty printing p:* -- Alain

Original author: cvscast
Date: 2003-07-02 18:05:04+00:00
```
  86155dfc
- [r2003-06-30 21:35:52 by cvscast] Review internal pretting printing of namespaces -- Alain · a701993d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-30 21:35:53+00:00
```
  a701993d