Commits · 485d5d1720f23cc5b377343bbbe55fcc174e1c7b · cduce / cduce

05 Oct, 2007 40 commits
- [r2003-07-03 08:41:46 by cvscast] Empty log message · 485d5d17
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-07-03 08:45:02+00:00
```
  485d5d17
- [r2003-07-03 08:36:14 by cvscast] Empty log message · d44c4a34
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-07-03 08:36:14+00:00
```
  d44c4a34
- [r2003-07-02 23:00:14 by cvscast] Empty log message · c777a2ee
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-07-02 23:00:14+00:00
```
  c777a2ee
- [r2003-07-02 18:15:52 by cvscast] Forgot a cvs add ... · 641543bc
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-07-02 18:15:52+00:00
```
  641543bc
- [r2003-07-02 18:10:14 by cvscast] Forgot a few points in the manual -- Alain · d95c289b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-07-02 18:10:14+00:00
```
  d95c289b
- [r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix... · 604979bd
  Pietro Abate authored Oct 05, 2007
```
[r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix pretty printing p:* -- Alain

Original author: cvscast
Date: 2003-07-02 18:05:04+00:00
```
  604979bd
- [r2003-07-02 09:24:27 by cvscast] reinit_ns directive · 0073da0b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-07-02 09:24:28+00:00
```
  0073da0b
- [r2003-06-30 21:35:52 by cvscast] Review internal pretting printing of namespaces -- Alain · 1b67f651
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 21:35:53+00:00
```
  1b67f651
- [r2003-06-30 16:35:47 by cvscast] Bug fix in typechecking print_xml · a5d9af9b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 16:35:47+00:00
```
  a5d9af9b
- [r2003-06-30 14:29:07 by cvscast] Empty log message · 636c4755
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 14:29:07+00:00
```
  636c4755
- [r2003-06-30 14:11:14 by cvscast] Namespaces in record fields · c1733997
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 14:11:14+00:00
```
  c1733997
- [r2003-06-30 13:56:40 by cvscast] Empty log message · 7a36ebe0
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 13:56:40+00:00
```
  7a36ebe0
- [r2003-06-30 13:46:51 by cvscast] Oubli cvs add ns.ml, ns.mli · 880d5f1c
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 13:46:52+00:00
```
  880d5f1c
- [r2003-06-30 12:51:11 by cvscast] Beppe: started xtransform example · 3b59a402
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-30 12:51:11+00:00
```
  3b59a402
- [r2003-06-29 23:57:36 by cvscast] Empty log message · 5ac7fba3
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-29 23:57:36+00:00
```
  5ac7fba3
- [r2003-06-29 23:32:18 by cvscast] Empty log message · 230014d1
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-29 23:32:18+00:00
```
  230014d1
- [r2003-06-29 20:29:47 by cvscast] Test pretty printing of XML documents with namespaces · 44f4b540
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-29 20:29:48+00:00
```
  44f4b540
- [r2003-06-29 20:28:52 by cvscast] Continuing namespaces : records and print_xml -- Alain · 05bc55c9
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-29 20:28:53+00:00
```
  05bc55c9
- [r2003-06-29 14:41:57 by cvscast] Bug fix in webiface \ SESSION_DIR in Makefile · 01b15475
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-29 14:41:58+00:00
```
  01b15475
- [r2003-06-27 08:06:39 by cvscast] zack: DTDs for schema document validations · 43aa937b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-27 08:06:39+00:00
```
  43aa937b
- [r2003-06-27 08:05:58 by cvscast] zack: changed values so that they are at the limit of validity · 05a013ba
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-27 08:05:58+00:00
```
  05a013ba
- [r2003-06-27 08:05:27 by cvscast] zack: xml preamble to permit validation of schemas against · c1781795
  Pietro Abate authored Oct 05, 2007
```
XMLSchema.dtd

Original author: cvscast
Date: 2003-06-27 08:05:27+00:00
```
  c1781795
- [r2003-06-27 08:05:00 by cvscast] zack: added document for pattern_and_ws.xsd · 0a839dc7
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-27 08:05:00+00:00
```
  0a839dc7
- [r2003-06-27 08:04:14 by cvscast] zack: added support for tests that should fail · e54347ba
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-27 08:04:14+00:00
```
  e54347ba
- [r2003-06-27 08:03:31 by cvscast] zack: added an xml preamble so that schema documents could be · ca517039
  Pietro Abate authored Oct 05, 2007
```
validated against the XMLSchema DTD

Original author: cvscast
Date: 2003-06-27 08:03:32+00:00
```
  ca517039
- [r2003-06-27 08:02:52 by cvscast] zack: added some regression tests that should fail · f512305a
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-27 08:02:52+00:00
```
  f512305a
- [r2003-06-26 09:10:05 by cvscast] Optim dispatch on atoms · 43dd7103
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-26 09:10:05+00:00
```
  43dd7103
- [r2003-06-25 23:26:09 by cvscast] INSTALL instructions for PXP lexers · 187f7f26
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-25 23:26:09+00:00
```
  187f7f26
- [r2003-06-25 23:25:35 by cvscast] More selective warn-error · 855fb5d2
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-25 23:25:35+00:00
```
  855fb5d2
- [r2003-06-25 23:20:40 by cvscast] Local namespace bindings -- Alain · 9b1bb431
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-25 23:20:40+00:00
```
  9b1bb431
- [r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain · 193b887b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-25 23:11:03+00:00
```
  193b887b
- [r2003-06-24 15:42:10 by cvscast] Updating for new version of PXP · 3b8d004b
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-24 15:42:10+00:00
```
  3b8d004b
- [r2003-06-22 10:23:49 by cvscast] Update CHANGES · 94c9ccb6
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-22 10:23:49+00:00
```
  94c9ccb6
- [r2003-06-17 21:13:33 by cvscast] Beppe: corrected error in Makefile.distrib for install_wewb_local · 6bc13d3e
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-17 21:13:33+00:00
```
  6bc13d3e
- [r2003-06-17 20:39:07 by cvscast] Don't autodetect non-terminal stdint (prevent using ledit); add · b1877273
  Pietro Abate authored Oct 05, 2007
```
--stdin option -- Alain

Original author: cvscast
Date: 2003-06-17 20:39:08+00:00
```
  b1877273
- [r2003-06-17 16:05:23 by cvscast] Simplify unhilight.cd -- Alain · 8d168760
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-17 16:05:23+00:00
```
  8d168760
- [r2003-06-17 15:57:39 by cvscast] Add unhilight.cd tool -- Alain · 58bc2a6d
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-17 15:57:39+00:00
```
  58bc2a6d
- [r2003-06-17 15:49:59 by cvscast] Review type-checking of strings (TODO: clean the parser; improve · 145ce8aa
  Pietro Abate authored Oct 05, 2007
```
pretty-printing of errors)

Original author: cvscast
Date: 2003-06-17 15:50:00+00:00
```
  145ce8aa
- [r2003-06-17 06:12:57 by cvscast] Clean · e90966c8
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-17 06:12:57+00:00
```
  e90966c8
- [r2003-06-17 05:33:21 by cvscast] Clean -- Alain · a684bdbd
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2003-06-17 05:33:21+00:00
```
  a684bdbd