Commits · b8bce23c28b453ad813f98d6bceed886676b89aa · cduce / cduce

05 Oct, 2007 40 commits
- [r2005-10-31 11:01:26 by afrisch] Forgot to clean a subdirectory... · b8bce23c
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-10-31 11:01:26+00:00
```
  b8bce23c
- [r2005-10-30 15:14:05 by afrisch] Empty log message · 95c1e942
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-10-30 15:14:54+00:00
```
  95c1e942
- [r2005-10-30 14:23:02 by afrisch] Moving to OCaml 3.09 · a4967d75
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-10-30 14:23:04+00:00
```
  a4967d75
- [r2005-07-29 10:01:18 by afrisch] Build and install dtd2cduce when PXP is available · fa1aa987
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-29 10:01:18+00:00
```
  fa1aa987
- [r2005-07-29 09:52:28 by afrisch] Build and install dtd2cduce when PXP is available · a277bd5f
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-29 09:52:29+00:00
```
  a277bd5f
- [r2005-07-15 14:12:07 by afrisch] Empty log message · 986e8c7d
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-15 14:12:07+00:00
```
  986e8c7d
- [r2005-07-15 13:51:37 by afrisch] Get rid of mlcduce_wrapper · e6868df0
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-15 13:51:37+00:00
```
  e6868df0
- [r2005-07-15 13:22:50 by afrisch] get rid of cdo2ml · da938ce4
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-15 13:22:50+00:00
```
  da938ce4
- [r2005-07-08 08:19:53 by afrisch] Empty log message · 9de0f86e
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-08 08:19:53+00:00
```
  9de0f86e
- [r2005-07-07 15:37:13 by afrisch] Use install -c (otherwise in BSD, install moves the files) · 6ed5074e
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-07 15:37:13+00:00
```
  6ed5074e
- [r2005-07-05 13:49:21 by afrisch] Merging cduce_serialize branch · ab02cc0d
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-07-05 13:49:26+00:00
```
  ab02cc0d
- [r2005-07-01 11:09:14 by beppe] Empty log message · cc428fb5
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2005-07-01 11:09:14+00:00
```
  cc428fb5
- [r2005-06-25 15:20:09 by beppe] put $VERSION in a distinct files so it can be included also when · af47acbf
  Pietro Abate authored Oct 05, 2007
```
building the pdf manual

Original author: beppe
Date: 2005-06-25 15:20:09+00:00
```
  af47acbf
- [r2005-06-18 06:58:35 by afrisch] Start using unique pools · ec9eb3bd
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-06-18 07:00:04+00:00
```
  ec9eb3bd
- [r2005-06-16 15:44:40 by afrisch] Begin automaton minimization · 1d4ae7d9
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-06-16 15:44:41+00:00
```
  1d4ae7d9
- [r2005-06-13 20:10:11 by afrisch] Empty log message · 79bec74f
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-06-13 20:10:11+00:00
```
  79bec74f
- [r2005-06-13 15:20:13 by afrisch] Simplifications · 58c7c621
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-06-13 15:20:14+00:00
```
  58c7c621
- [r2005-05-27 16:34:11 by beppe] Changed version · 33d98c6b
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2005-05-27 16:34:11+00:00
```
  33d98c6b
- [r2005-05-24 20:48:51 by afrisch] Empty log message · 42203b0c
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-05-24 20:48:51+00:00
```
  42203b0c
- [r2005-05-24 12:26:59 by afrisch] Empty log message · 3fe76a23
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-05-24 12:26:59+00:00
```
  3fe76a23
- [r2005-05-17 11:41:14 by beppe] Changed version · fccbe71a
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2005-05-17 11:41:14+00:00
```
  fccbe71a
- [r2005-05-10 16:28:49 by afrisch] Empty log message · fc732357
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-05-10 16:28:49+00:00
```
  fc732357
- [r2005-05-10 07:50:11 by afrisch] Empty log message · 6ae0e342
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-05-10 07:50:11+00:00
```
  6ae0e342
- [r2005-05-09 11:48:14 by afrisch] Empty log message · 02023d6c
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-05-09 11:48:15+00:00
```
  02023d6c
- [r2005-05-07 20:13:53 by afrisch] Simplification · d82aa4fb
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-05-07 20:13:54+00:00
```
  d82aa4fb
- [r2005-04-22 13:18:00 by afrisch] Factor-out internalization of types/patterns · b56b9467
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-04-22 13:18:01+00:00
```
  b56b9467
- [r2005-04-17 10:14:27 by afrisch] Empty log message · 303f6975
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-04-17 10:14:27+00:00
```
  303f6975
- [r2005-04-12 16:08:12 by afrisch] Empty log message · 2ee074f0
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-04-12 16:08:12+00:00
```
  2ee074f0
- [r2005-03-22 15:26:33 by afrisch] Empty log message · 0a455100
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-22 15:26:33+00:00
```
  0a455100
- [r2005-03-21 13:12:36 by afrisch] CHANGES · d41aa348
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-21 13:12:36+00:00
```
  d41aa348
- [r2005-03-21 12:56:10 by afrisch] Misc bugfixes · 2457325d
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-21 12:56:10+00:00
```
  2457325d
- [r2005-03-16 17:23:03 by afrisch] Don't build mlcduce_wrapper when the ocaml iface is not available · 860e8b52
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-16 17:23:03+00:00
```
  860e8b52
- [r2005-03-13 14:54:00 by afrisch] Clean · 63a58341
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-13 14:54:00+00:00
```
  63a58341
- [r2005-03-09 17:06:53 by afrisch] Empty log message · e3235cd9
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-09 17:06:53+00:00
```
  e3235cd9
- [r2005-03-09 16:40:59 by afrisch] Don't build dtd2cduce · 4fd6b993
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-09 16:44:12+00:00
```
  4fd6b993
- [r2005-03-09 16:29:39 by afrisch] Empty log message · a220f394
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-09 16:29:39+00:00
```
  a220f394
- [r2005-03-09 16:26:51 by afrisch] dtd2cduce as a cgi-bin · 76be483f
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-09 16:26:51+00:00
```
  76be483f
- [r2005-03-09 15:50:01 by afrisch] dtd2cduce needs PXP · 72786352
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-09 15:50:01+00:00
```
  72786352
- [r2005-03-09 15:29:36 by afrisch] Get rid of PXP dependency · 8ca81c4e
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-09 15:32:20+00:00
```
  8ca81c4e
- [r2005-03-06 16:46:10 by afrisch] Doc · 00fb8d55
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2005-03-06 16:46:11+00:00
```
  00fb8d55