Commits · 7eb500e44b95a77876df88cd50ad2b9d768f26ba · cduce / cduce

10 Jul, 2007 40 commits
- [r2004-03-14 00:20:25 by beppe] Empty log message · 7eb500e4
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-14 00:20:25+00:00
```
  7eb500e4
- [r2004-03-13 22:22:34 by beppe] Empty log message · bbf7a289
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-13 22:22:34+00:00
```
  bbf7a289
- [r2004-03-13 22:09:41 by beppe] typos · 8bb833ce
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-13 22:09:41+00:00
```
  8bb833ce
- [r2004-03-13 16:48:28 by beppe] Empty log message · 46d2acda
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-13 16:48:28+00:00
```
  46d2acda
- [r2004-03-13 16:14:51 by beppe] typos · 29e010eb
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-13 16:14:51+00:00
```
  29e010eb
- [r2004-03-13 16:14:23 by beppe] Few modifications · 24161c6c
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-13 16:14:24+00:00
```
  24161c6c
- [r2004-03-12 20:22:59 by beppe] Empty log message · b5fa77ae
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-12 20:24:49+00:00
```
  b5fa77ae
- [r2004-03-12 19:54:36 by beppe] Empty log message · 7237d121
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-12 19:54:36+00:00
```
  7237d121
- [r2004-03-12 18:05:46 by beppe] Changed some typos and presentation · 824549fc
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-03-12 18:05:46+00:00
```
  824549fc
- [r2004-03-11 14:26:52 by jdemouth] Compilation de cDuce_all.cma. · 818a1934
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-11 14:26:52+00:00
```
  818a1934
- [r2004-03-11 14:23:07 by jdemouth] Quelques mises au point. · c300836d
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-11 14:23:07+00:00
```
  c300836d
- [r2004-03-11 14:02:02 by jdemouth] Corrections. · 81e81105
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-11 14:02:02+00:00
```
  81e81105
- [r2004-03-11 13:34:18 by jdemouth] Petite modification. · cb7642d8
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-11 13:34:18+00:00
```
  cb7642d8
- [r2004-03-11 13:33:19 by jdemouth] Ajout de l'option -I a l'interface. · 32a80d70
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-11 13:33:19+00:00
```
  32a80d70
- [r2004-03-11 13:18:23 by jdemouth] Remove cduce2ocaml rule. · 2c941081
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-11 13:18:23+00:00
```
  2c941081
- [r2004-03-10 13:27:59 by jdemouth] Corrections. · 097bf169
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-10 13:27:59+00:00
```
  097bf169
- [r2004-03-10 13:08:21 by jdemouth] Empty log message · fa9d60a7
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-10 13:08:21+00:00
```
  fa9d60a7
- [r2004-03-10 10:56:44 by jdemouth] Ajout du "t" a netclient_support qd l'opt. NETCLIENT n'est pas · 731f83e1
  Pietro Abate authored Jul 10, 2007
```
activee.

Original author: jdemouth
Date: 2004-03-10 10:56:44+00:00
```
  731f83e1
- [r2004-03-10 10:45:29 by jdemouth] Empty log message · 44f207a5
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-10 10:45:29+00:00
```
  44f207a5
- [r2004-03-10 10:33:07 by jdemouth] Another corrections. · b4ad0491
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-10 10:33:07+00:00
```
  b4ad0491
- [r2004-03-10 10:31:31 by jdemouth] Some corrections. · f238aa2d
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-10 10:31:31+00:00
```
  f238aa2d
- [r2004-03-09 23:26:14 by afrisch] Faire marcher interface.xml · 92d6eea5
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-03-09 23:26:14+00:00
```
  92d6eea5
- [r2004-03-09 22:59:09 by afrisch] meilleure gestion netclient · 2f538324
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-03-09 22:59:09+00:00
```
  2f538324
- [r2004-03-09 21:40:29 by jdemouth] A beginning of manual page for interfacing CDuce with OCaml. · 9805da33
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-09 21:40:29+00:00
```
  9805da33
- [r2004-03-09 21:20:28 by jdemouth] Empty log message · 2a77255f
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-09 21:20:28+00:00
```
  2a77255f
- [r2004-03-09 20:25:37 by jdemouth] Add ocaml interface to cduce compiler. · 8aaf9427
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-09 20:26:45+00:00
```
  8aaf9427
- [r2004-03-09 20:13:34 by jdemouth] Add ocaml interface to cduce compiler. · ff08e6ce
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-09 20:14:57+00:00
```
  ff08e6ce
- [r2004-03-09 20:07:50 by jdemouth] Empty log message · 8c1f05c6
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-09 20:09:23+00:00
```
  8c1f05c6
- [r2004-03-09 20:01:46 by jdemouth] cdo2cmo is now included in cduce compiler. · 7d6a9be9
  Pietro Abate authored Jul 10, 2007
```
Original author: jdemouth
Date: 2004-03-09 20:01:46+00:00
```
  7d6a9be9
- [r2004-03-09 16:24:15 by mburelle] Remove a space at the end of a line in the... · 7d833dcc
  Pietro Abate authored Jul 10, 2007
```
[r2004-03-09 16:24:15 by mburelle] Remove a space at the end of a line in the uninstall rule that prevent
uninstalling cduce.      Marwan.

Original author: mburelle
Date: 2004-03-09 16:24:15+00:00
```
  7d833dcc
- [r2004-03-03 10:51:49 by afrisch] MAJ Slides · b0e70417
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-03-03 10:51:49+00:00
```
  b0e70417
- [r2004-02-26 16:55:11 by beppe] Empty log message · 0f1034ef
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-26 16:55:11+00:00
```
  0f1034ef
- [r2004-02-26 16:55:01 by beppe] typos · d04086b5
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-26 16:55:01+00:00
```
  d04086b5
- [r2004-02-25 19:19:51 by beppe] Empty log message · 5e3e2b96
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-25 19:19:51+00:00
```
  5e3e2b96
- [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