Commits · c383f8bee843d80075ecf7a30886405a5115ab28 · cduce / cduce

05 Oct, 2007 17 commits
- [r2003-10-08 21:24:38 by cvscast] Separate compilation · c979b48b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-10-08 21:25:22+00:00
```
  c979b48b
- [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-27 22:49:09 by cvscast] alternative evaluator (--compile) · 103b0628
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-09-27 22:49:09+00:00
```
  103b0628
- [r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ... · 65a0a855
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-09-27 12:41:34+00:00
```
  65a0a855
- [r2003-05-26 19:54:58 by cvscast] toplevel: Ctrl-D, Ctrl-C, #quit, #env · e116f3cc
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-05-26 19:54:59+00:00
```
  e116f3cc
- [r2003-05-25 16:53:21 by cvscast] toplevel · c0b5d1aa
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-05-25 16:53:22+00:00
```
  c0b5d1aa
- [r2003-05-25 13:33:40 by cvscast] cduce_config · a7a8c753
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-05-25 13:33:41+00:00
```
  a7a8c753
- [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-05-18 16:03:03 by cvscast] Empty log message · 42c0e76f
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-05-18 16:03:04+00:00
```
  42c0e76f
- [r2003-03-24 22:41:38 by cvscast] Empty log message · c31e3760
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-24 22:42:11+00:00
```
  c31e3760
- [r2003-03-23 21:09:48 by cvscast] Empty log message · d5b4d685
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-03-23 21:09:49+00:00
```
  d5b4d685
- [r2003-02-17 21:51:52 by cvscast] Empty log message · 0dfcb292
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-02-17 21:51:53+00:00
```
  0dfcb292
- [r2002-11-13 23:21:38 by cvscast] Empty log message · 76ab1ffc
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-11-13 23:21:39+00:00
```
  76ab1ffc
- [r2002-11-10 16:13:31 by cvscast] Empty log message · 08f6b841
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-11-10 16:13:32+00:00
```
  08f6b841
- [r2002-11-10 02:21:45 by cvscast] Saving/restoring global state · 35bfd56a
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-11-10 02:21:46+00:00
```
  35bfd56a
- [r2002-11-09 10:42:14 by cvscast] Empty log message · 5ed31ef4
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-11-09 10:42:16+00:00
```
  5ed31ef4
- [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 23 commits
- [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-03-03 23:47:00 by afrisch] Identifiers are now qualified names. Uniform... · 21219422
  Pietro Abate authored Jul 10, 2007
```
[r2005-03-03 23:47:00 by afrisch] Identifiers are now qualified names. Uniform dot syntax for external
CDuce and OCaml unit

Original author: afrisch
Date: 2005-03-03 23:47:02+00:00
```
  21219422
- [r2005-02-01 13:10:25 by afrisch] Cleanup · 10ff213e
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-02-01 13:10:26+00:00
```
  10ff213e
- [r2004-12-28 00:27:55 by afrisch] evalutor + demo · 445608a3
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-12-28 00:27:55+00:00
```
  445608a3
- [r2004-07-05 13:19:51 by afrisch] eval · 0659f7bc
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-07-05 13:19:52+00:00
```
  0659f7bc
- [r2004-06-25 12:37:19 by afrisch] Another lowercase issue · 4a5eb6fc
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-06-25 12:37:20+00:00
```
  4a5eb6fc
- [r2004-05-23 11:00:56 by afrisch] Simplify idents · c3c51c6d
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-05-23 11:00:57+00:00
```
  c3c51c6d
- [r2004-05-05 23:56:31 by afrisch] Revu compilation des globals · a465b072
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-05-05 23:56:32+00:00
```
  a465b072
- [r2003-12-13 13:51:19 by afrisch] Factorization + --verbose · bd023c58
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-13 13:51:20+00:00
```
  bd023c58
- [r2003-12-12 23:18:23 by afrisch] Cleaning · 7eb1a95d
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-12 23:18:23+00:00
```
  7eb1a95d
- [r2003-12-12 22:59:37 by afrisch] Cleaning: remove old evaluator · 3910149c
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-12 22:59:38+00:00
```
  3910149c
- [r2003-11-25 09:27:34 by cmiachon] nothing - · 84b32bef
  Pietro Abate authored Jul 10, 2007
```
Original author: cmiachon
Date: 2003-11-25 09:27:35+00:00
```
  84b32bef
- [r2003-10-13 20:03:05 by cvscast] Remove -o; add -I --obj-dir; error messages · 7088b4f3
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-13 20:03:06+00:00
```
  7088b4f3
- [r2003-10-10 20:20:24 by cvscast] Beppe: added option -o that allows to... · fc50aa16
  Pietro Abate authored Jul 10, 2007
```
[r2003-10-10 20:20:24 by cvscast] Beppe: added option -o that allows to specify the output file of the
compilation

Original author: cvscast
Date: 2003-10-10 20:20:25+00:00
```
  fc50aa16
- [r2003-10-08 21:24:38 by cvscast] Separate compilation · 194424db
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-08 21:25:22+00:00
```
  194424db
- [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-27 22:49:09 by cvscast] alternative evaluator (--compile) · 6e644519
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-09-27 22:49:09+00:00
```
  6e644519
- [r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ... · bb3efc53
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-09-27 12:41:34+00:00
```
  bb3efc53
- [r2003-05-26 19:54:58 by cvscast] toplevel: Ctrl-D, Ctrl-C, #quit, #env · c1744478
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-26 19:54:59+00:00
```
  c1744478
- [r2003-05-25 16:53:21 by cvscast] toplevel · b9c7e1ea
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-25 16:53:22+00:00
```
  b9c7e1ea
- [r2003-05-25 13:33:40 by cvscast] cduce_config · 790f4671
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-25 13:33:41+00:00
```
  790f4671
- [r2003-05-20 13:27:25 by cvscast] Unicode support · 82b65a6f
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-20 13:27:27+00:00
```
  82b65a6f
- [r2003-05-18 16:03:03 by cvscast] Empty log message · e7309090
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-18 16:03:04+00:00
```
  e7309090