Commits · 807683f7f3c8e7e08711e6187f9f30a6317a4a31 · cduce / cduce

10 Jul, 2007 40 commits
- [r2004-02-25 19:17:55 by beppe] added ioana · 807683f7
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-25 19:17:55+00:00
```
  807683f7
- [r2004-02-25 15:34:40 by beppe] Empty log message · 731f5718
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-25 15:34:41+00:00
```
  731f5718
- [r2004-02-24 16:28:48 by beppe] Empty log message · a81d1b97
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-24 16:28:48+00:00
```
  a81d1b97
- [r2004-02-24 16:23:40 by beppe] added doc on validate and dtd2cduce · 9846dad0
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-24 16:23:40+00:00
```
  9846dad0
- [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-18 22:56:51 by jdemouth] Adds star_node value interface ( needed in cdo2cmo ). · 68d800dc
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-02-18 22:56:51+00:00
```
  68d800dc
- [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-02-10 10:33:29 by beppe] Empty log message · c6696087
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-10 10:33:29+00:00
```
  c6696087
- [r2004-02-09 21:32:29 by beppe] Empty log message · 0473b2ed
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-09 21:32:29+00:00
```
  0473b2ed
- [r2004-02-09 21:13:55 by vbenzake] Empty log message · 637d9a8f
  Pietro Abate authored Jul 10, 2007
```
Original author: vbenzake
Date: 2004-02-09 21:13:56+00:00
```
  637d9a8f
- [r2004-02-09 20:33:20 by afrisch] Empty log message · cd3c3d8c
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-02-09 20:34:05+00:00
```
  cd3c3d8c
- [r2004-02-09 20:29:33 by afrisch] Empty log message · b2030041
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-02-09 20:29:33+00:00
```
  b2030041
- [r2004-02-06 23:29:51 by beppe] Spotted a bug · 20e41309
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 23:29:51+00:00
```
  20e41309
- [r2004-02-06 22:40:26 by beppe] Bugfix (thanks to Alex Barretta) · 6dd9d5ee
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 22:40:26+00:00
```
  6dd9d5ee
- [r2004-02-06 22:34:54 by beppe] Empty log message · 2ac67578
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 22:34:54+00:00
```
  2ac67578
- [r2004-02-06 22:10:39 by beppe] Empty log message · 2f7288cd
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 22:10:39+00:00
```
  2f7288cd
- [r2004-02-06 22:02:26 by beppe] Empty log message · d8039cd9
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 22:02:26+00:00
```
  d8039cd9
- [r2004-02-02 11:35:37 by afrisch] Empty log message · b617ebd5
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-02-02 11:35:37+00:00
```
  b617ebd5
- [r2004-01-31 23:46:40 by beppe] Empty log message · 217864b4
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 23:46:40+00:00
```
  217864b4
- [r2004-01-31 23:38:57 by beppe] Empty log message · 317c8479
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 23:38:57+00:00
```
  317c8479
- [r2004-01-31 15:10:57 by beppe] Empty log message · 15bc5062
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 15:10:57+00:00
```
  15bc5062
- [r2004-01-31 14:43:04 by beppe] Empty log message · c2dbf656
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 14:43:04+00:00
```
  c2dbf656
- [r2004-01-31 14:39:11 by beppe] Empty log message · 992d3746
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 14:39:11+00:00
```
  992d3746
- [r2004-01-31 13:11:54 by beppe] Empty log message · 2c6bee57
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 13:11:54+00:00
```
  2c6bee57
- [r2004-01-31 10:39:26 by beppe] Empty log message · 6e7a3b1e
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 10:39:26+00:00
```
  6e7a3b1e
- [r2004-01-31 10:16:27 by beppe] Empty log message · d00515cb
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 10:16:27+00:00
```
  d00515cb
- [r2004-01-31 02:17:37 by beppe] Empty log message · fc9fd876
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 02:17:37+00:00
```
  fc9fd876
- [r2004-01-31 01:55:37 by beppe] Empty log message · 799a7182
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 01:57:29+00:00
```
  799a7182
- [r2004-01-31 01:46:46 by beppe] Empty log message · b330f1fb
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-31 01:46:46+00:00
```
  b330f1fb
- [r2004-01-25 16:20:00 by beppe] Empty log message · e14ae5f4
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-25 16:22:51+00:00
```
  e14ae5f4
- [r2004-01-25 16:06:41 by beppe] Empty log message · d28b0b8f
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-25 16:06:41+00:00
```
  d28b0b8f
- [r2004-01-25 16:01:18 by beppe] Added new logo · 4cc235a5
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-01-25 16:01:19+00:00
```
  4cc235a5
- [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