Commits · 60c7c7a4a48bda26fdd1faa648d2024164c1702c · cduce / cduce

10 Jul, 2007 40 commits
- [r2003-07-02 09:24:27 by cvscast] reinit_ns directive · 60c7c7a4
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-07-02 09:24:28+00:00
```
  60c7c7a4
- [r2003-06-30 21:35:52 by cvscast] Review internal pretting printing of namespaces -- Alain · a701993d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-30 21:35:53+00:00
```
  a701993d
- [r2003-06-30 14:11:14 by cvscast] Namespaces in record fields · 437a9237
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-30 14:11:14+00:00
```
  437a9237
- [r2003-06-29 20:28:52 by cvscast] Continuing namespaces : records and print_xml -- Alain · 83f3cacc
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-29 20:28:53+00:00
```
  83f3cacc
- [r2003-06-25 23:20:40 by cvscast] Local namespace bindings -- Alain · 1908b98b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-25 23:20:40+00:00
```
  1908b98b
- [r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain · a3e2c485
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-25 23:11:03+00:00
```
  a3e2c485
- [r2003-06-17 15:49:59 by cvscast] Review type-checking of strings (TODO: clean the parser; improve · 88876142
  Pietro Abate authored Jul 10, 2007
```
pretty-printing of errors)

Original author: cvscast
Date: 2003-06-17 15:50:00+00:00
```
  88876142
- [r2003-06-15 21:46:12 by cvscast] - added support for xsd:all term · b5a60dcc
  Pietro Abate authored Jul 10, 2007
```
- bugfix: empty content model now supported

- bugfix: reference to global attributes works zack

Original author: cvscast
Date: 2003-06-15 21:46:12+00:00
```
  b5a60dcc
- [r2003-06-13 10:03:21 by cvscast] zack: synced with new schema_types · de8be9c0
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 10:03:21+00:00
```
  de8be9c0
- [r2003-06-12 15:09:46 by cvscast] Starting recursive types in Schema · 0e8a467a
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 15:09:46+00:00
```
  0e8a467a
- [r2003-06-12 13:15:56 by cvscast] Merging schema branch · 6845fbfa
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 13:16:00+00:00
```
  6845fbfa
- [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 12:20:16 by cvscast] No warning for embedded unused branches · 0e4517e9
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-25 12:20:16+00:00
```
  0e4517e9
- [r2003-05-25 12:04:58 by cvscast] Menage · 719d0ee9
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-25 12:04:58+00:00
```
  719d0ee9
- [r2003-05-25 10:34:50 by cvscast] review Builtin · f6791f4b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-25 10:34:50+00:00
```
  f6791f4b
- [r2003-05-24 21:02:32 by cvscast] Beppe: typos · 606416a1
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-24 21:02:32+00:00
```
  606416a1
- [r2003-05-22 14:12:52 by cvscast] Web design · ee0c7784
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-22 14:12:54+00:00
```
  ee0c7784
- [r2003-05-21 21:24:56 by cvscast] Manual · 07bd813f
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-21 21:24:56+00:00
```
  07bd813f
- [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 13:30:38 by cvscast] New pretty-printer for types · 47806e1f
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-18 13:30:58+00:00
```
  47806e1f
- [r2003-05-16 13:32:07 by cvscast] Bug fix in type_check_pair · 389da8ac
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-16 13:32:07+00:00
```
  389da8ac
- [r2003-05-15 09:26:56 by cvscast] Empty log message · fd2d099a
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-15 09:30:09+00:00
```
  fd2d099a
- [r2003-05-13 17:13:48 by cvscast] Starting tutorial · 777b37ec
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-13 17:13:52+00:00
```
  777b37ec
- [r2003-05-13 14:05:38 by cvscast] Bug in type-checking for records · e96293de
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-13 14:05:38+00:00
```
  e96293de
- [r2003-05-13 14:01:26 by cvscast] Bug in type-checking for pairs · 9d7d2dce
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-13 14:01:26+00:00
```
  9d7d2dce
- [r2003-05-11 11:36:01 by cvscast] Changed ttree into xtransform. BEPPE · 1ae5d9ce
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-11 11:36:01+00:00
```
  1ae5d9ce
- [r2003-05-11 11:23:36 by cvscast] Corrected a typo BEPPE · 7caa2d6e
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-11 11:23:36+00:00
```
  7caa2d6e
- [r2003-05-11 09:30:40 by cvscast] atom_of · 83c3eb1b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-11 09:30:41+00:00
```
  83c3eb1b
- [r2003-05-10 22:08:59 by cvscast] Detect empty types declarations · 3053fc1e
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-10 22:08:59+00:00
```
  3053fc1e
- [r2003-05-10 18:31:04 by cvscast] Special nodes to locate expressions · da61ec1c
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-10 18:31:04+00:00
```
  da61ec1c
- [r2003-05-10 17:49:06 by cvscast] Unused branches · dc425050
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-05-10 17:49:06+00:00
```
  dc425050
- [r2003-03-24 22:41:38 by cvscast] Empty log message · 9eda7907
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-24 22:42:11+00:00
```
  9eda7907
- [r2003-03-23 21:09:48 by cvscast] Empty log message · d265007d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-23 21:09:49+00:00
```
  d265007d
- [r2003-03-23 11:34:36 by cvscast] Empty log message · e7b95c2b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-23 11:34:37+00:00
```
  e7b95c2b
- [r2003-03-22 23:21:32 by cvscast] Empty log message · 81e150cf
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-22 23:21:32+00:00
```
  81e150cf
- [r2003-03-17 22:44:29 by cvscast] Empty log message · 2c729157
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-17 22:44:44+00:00
```
  2c729157
- [r2003-03-16 21:54:37 by cvscast] :: · 7e698b89
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-16 21:54:38+00:00
```
  7e698b89
- [r2003-03-16 14:05:39 by cvscast] Empty log message · 74eb472d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-16 14:08:16+00:00
```
  74eb472d
- [r2003-03-15 10:59:53 by cvscast] map pour les chars et les atoms · d74a85a5
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-15 10:59:54+00:00
```
  d74a85a5
- [r2003-03-15 08:40:32 by cvscast] Empty log message · 6ef5745b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-03-15 08:40:32+00:00
```
  6ef5745b