Commits · 4c96f15258327dd78600b263b3cd068aafeaf2f5 · cduce / cduce

10 Jul, 2007 11 commits
- [r2004-02-19 10:19:13 by jdemouth] Instructs to compile test.mli to get test.cmi · 4c96f152
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-02-19 10:19:13+00:00
```
  4c96f152
- [r2004-02-19 10:11:15 by jdemouth] Fixes rec bug with recursive types + some other fixes · 610cc98d
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-02-19 10:11:15+00:00
```
  610cc98d
- [r2004-02-19 04:07:32 by afrisch] Simplifie crion de cdo2cmo, renommn cduce2ocaml · a31c13a2
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-02-19 04:07:33+00:00
```
  a31c13a2
- [r2004-02-19 03:05:15 by beppe] Empty log message · 242bd87b
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-19 03:05:15+00:00
```
  242bd87b
- [r2004-02-19 03:00:49 by beppe] added .opt option · e1afbc1d
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-19 03:00:49+00:00
```
  e1afbc1d
- [r2004-02-19 02:43:10 by beppe] Added INSTALL and README · cbd82743
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-19 02:43:10+00:00
```
  cbd82743
- [r2004-02-19 02:02:05 by beppe] Changed cdo2cmo installation settings and added README and INSTALL · 883dbfa1
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-19 02:02:05+00:00
```
  883dbfa1
- [r2004-02-18 22:58:35 by jdemouth] Some bug fixes... (but still unstable) · 9a271256
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-02-18 22:58:35+00:00
```
  9a271256
- [r2004-02-17 23:33:31 by jdemouth] Adds support for recursive types · 07944a93
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-02-17 23:33:31+00:00
```
  07944a93
- [r2004-01-23 22:16:56 by beppe] Added ocaml patch for importing CDuce programs · 3ed6be25
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-23 22:16:56+00:00
```
  3ed6be25
- [r2004-01-23 17:33:10 by jdemouth] Empty log message · 36ba17f2
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-01-23 17:34:00+00:00
```
  36ba17f2