[svn] Log of /cduce/branches/0.5.4-fixes/typing

Revision 4055 - Directory Listing
Modified Mon Jun 27 12:35:49 2011 UTC (22 months, 3 weeks ago) by kim
Copied from: typing revision 1955

Create branch 0.5.4-fixes

Revision 1956 - Directory Listing
Modified Wed Jul 11 13:01:15 2007 UTC (5 years, 10 months ago) by abate
Original Path: cduce/trunk/typing
Copied from: typing revision 1955

new svn layout

Revision 1952 - Directory Listing
Modified Tue Jul 10 19:34:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2007-06-12 12:58:41 by afrisch] starting to upgrade to OCaml 3.10

Original author: afrisch
Date: 2007-06-12 12:59:44+00:00

Revision 1885 - Directory Listing
Modified Tue Jul 10 19:29:14 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2006-05-17 15:03:40 by afrisch] Pas de warning fans les branches fantomes

Original author: afrisch
Date: 2006-05-17 15:03:41+00:00

Revision 1878 - Directory Listing
Modified Tue Jul 10 19:28:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2006-05-11 09:34:22 by afrisch] Utility for string literal in regexp

Original author: afrisch
Date: 2006-05-11 09:34:23+00:00

Revision 1863 - Directory Listing
Modified Tue Jul 10 19:27:57 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2006-04-27 14:27:53 by afrisch] Fix memoization of witnesses. Better typing of records

Original author: afrisch
Date: 2006-04-27 14:27:54+00:00

Revision 1862 - Directory Listing
Modified Tue Jul 10 19:27:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2006-04-25 15:56:21 by afrisch] Bug: type t = ([Int?] @ t)

Original author: afrisch
Date: 2006-04-25 15:56:21+00:00

Revision 1855 - Directory Listing
Modified Tue Jul 10 19:27:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2006-04-21 09:17:50 by afrisch] Optimizations

Original author: afrisch
Date: 2006-04-21 09:17:50+00:00

Revision 1812 - Directory Listing
Modified Tue Jul 10 19:24:40 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-10-30 14:23:02 by afrisch] Moving to OCaml 3.09

Original author: afrisch
Date: 2005-10-30 14:23:04+00:00

Revision 1803 - Directory Listing
Modified Tue Jul 10 19:23:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-08-29 18:27:33 by afrisch] More localized error on types/patterns (still need to fix for regexps)

Original author: afrisch
Date: 2005-08-29 18:27:33+00:00

Revision 1785 - Directory Listing
Modified Tue Jul 10 19:22:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-30 09:27:30 by afrisch] New printer for locations

Original author: afrisch
Date: 2005-07-30 09:27:30+00:00

Revision 1777 - Directory Listing
Modified Tue Jul 10 19:22:12 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-29 09:52:28 by afrisch] Build and install dtd2cduce when PXP is available

Original author: afrisch
Date: 2005-07-29 09:52:29+00:00

Revision 1769 - Directory Listing
Modified Tue Jul 10 19:21:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-15 13:22:33 by afrisch] Avoid clash between the type String and the OCaml module String

Original author: afrisch
Date: 2005-07-15 13:22:33+00:00

Revision 1767 - Directory Listing
Modified Tue Jul 10 19:21:23 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-12 15:37:26 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-12 15:37:27+00:00

Revision 1763 - Directory Listing
Modified Tue Jul 10 19:21:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-08 13:21:03 by afrisch] Accept nested record merges in types

Original author: afrisch
Date: 2005-07-08 13:21:03+00:00

Revision 1755 - Directory Listing
Modified Tue Jul 10 19:20:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-07 15:03:35 by afrisch] open

Original author: afrisch
Date: 2005-07-07 15:03:35+00:00

Revision 1754 - Directory Listing
Modified Tue Jul 10 19:20:22 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-07 14:30:01 by afrisch] Export namespaces, schemas, ...

Original author: afrisch
Date: 2005-07-07 14:30:01+00:00

Revision 1753 - Directory Listing
Modified Tue Jul 10 19:20:18 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-07 13:57:17 by afrisch] Export namespaces, schemas, ...

Original author: afrisch
Date: 2005-07-07 13:57:18+00:00

Revision 1746 - Directory Listing
Modified Tue Jul 10 19:19:37 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-07-05 13:49:21 by afrisch] Merging cduce_serialize branch

Original author: afrisch
Date: 2005-07-05 13:49:26+00:00

Revision 1714 - Directory Listing
Modified Tue Jul 10 19:16:18 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-06-13 12:08:21 by afrisch] Nested OCaml modules

Original author: afrisch
Date: 2005-06-13 12:08:21+00:00

Revision 1713 - Directory Listing
Modified Tue Jul 10 19:16:15 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-06-13 09:58:18 by afrisch] Unused branches in select..from..where

Original author: afrisch
Date: 2005-06-13 09:58:18+00:00

Revision 1700 - Directory Listing
Modified Tue Jul 10 19:15:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-06-02 20:43:31 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-02 20:43:31+00:00

Revision 1699 - Directory Listing
Modified Tue Jul 10 19:15:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-06-02 20:39:11 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-02 20:39:11+00:00

Revision 1698 - Directory Listing
Modified Tue Jul 10 19:15:26 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-06-02 11:52:35 by afrisch] Field access for XML attibutes

Original author: afrisch
Date: 2005-06-02 11:52:35+00:00

Revision 1647 - Directory Listing
Modified Tue Jul 10 19:11:27 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-04-22 14:49:14 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-22 14:49:14+00:00

Revision 1646 - Directory Listing
Modified Tue Jul 10 19:11:20 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-04-22 13:18:31 by afrisch] Factor-out internalization of types/patterns

Original author: afrisch
Date: 2005-04-22 13:18:31+00:00

Revision 1645 - Directory Listing
Modified Tue Jul 10 19:11:16 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-04-22 13:18:00 by afrisch] Factor-out internalization of types/patterns

Original author: afrisch
Date: 2005-04-22 13:18:01+00:00

Revision 1609 - Directory Listing
Modified Tue Jul 10 19:07:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-29 15:15:50 by afrisch] Pb with ocamlopt -pack

Original author: afrisch
Date: 2005-03-29 15:15:50+00:00

Revision 1580 - Directory Listing
Modified Tue Jul 10 19:04:43 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-24 19:33:55 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-24 19:33:56+00:00

Revision 1561 - Directory Listing
Modified Tue Jul 10 19:02:54 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-16 16:40:30 by cmiachon] bug corrected : (select e from ...) => (transform ... -> [e]) instead
of e

Original author: cmiachon
Date: 2005-03-16 16:40:30+00:00

Revision 1560 - Directory Listing
Modified Tue Jul 10 19:02:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-15 23:31:43 by afrisch] Namespaces bindings in data model

Original author: afrisch
Date: 2005-03-15 23:31:45+00:00

Revision 1554 - Directory Listing
Modified Tue Jul 10 19:02:14 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-13 16:11:53 by afrisch] Clean. Bug fix for type corresponding to fixed constraint

Original author: afrisch
Date: 2005-03-13 16:11:53+00:00

Revision 1553 - Directory Listing
Modified Tue Jul 10 19:02:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-13 14:55:06 by afrisch] Typo

Original author: afrisch
Date: 2005-03-13 14:55:06+00:00

Revision 1552 - Directory Listing
Modified Tue Jul 10 19:02:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-13 14:54:00 by afrisch] Clean

Original author: afrisch
Date: 2005-03-13 14:54:00+00:00

Revision 1551 - Directory Listing
Modified Tue Jul 10 19:01:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-13 13:59:33 by afrisch] Menage

Original author: afrisch
Date: 2005-03-13 13:59:34+00:00

Revision 1524 - Directory Listing
Modified Tue Jul 10 18:59:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-06 19:02:15 by afrisch] Record concatenation in types

Original author: afrisch
Date: 2005-03-06 19:02:15+00:00

Revision 1523 - Directory Listing
Modified Tue Jul 10 18:59:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-06 18:26:47 by afrisch] Concatenation in types

Original author: afrisch
Date: 2005-03-06 18:26:47+00:00

Revision 1521 - Directory Listing
Modified Tue Jul 10 18:59:16 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-06 16:46:10 by afrisch] Doc

Original author: afrisch
Date: 2005-03-06 16:46:11+00:00

Revision 1514 - Directory Listing
Modified Tue Jul 10 18:58:33 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-06 11:58:34 by afrisch] Integrate select-from-where

Original author: afrisch
Date: 2005-03-06 11:58:34+00:00

Revision 1503 - Directory Listing
Modified Tue Jul 10 18:57:28 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-04 14:35:48 by afrisch] doc

Original author: afrisch
Date: 2005-03-04 14:35:49+00:00

Revision 1502 - Directory Listing
Modified Tue Jul 10 18:57:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-04 13:36:39 by afrisch] Clean

Original author: afrisch
Date: 2005-03-04 13:39:08+00:00

Revision 1501 - Directory Listing
Modified Tue Jul 10 18:57:09 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-04 13:13:40 by afrisch] Removed namespace/schema binding

Original author: afrisch
Date: 2005-03-04 13:13:41+00:00

Revision 1497 - Directory Listing
Modified Tue Jul 10 18:56:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-04 12:11:52 by afrisch] cduce_mktop

Original author: afrisch
Date: 2005-03-04 12:11:54+00:00

Revision 1496 - Directory Listing
Modified Tue Jul 10 18:56:12 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-03-04 01:16:24 by afrisch] More uniform treatment of cduce,ocaml,schema units

Original author: afrisch
Date: 2005-03-04 01:16:26+00:00

Revision 1495 - Directory Listing
Modified Tue Jul 10 18:55:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[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

Revision 1493 - Directory Listing
Modified Tue Jul 10 18:55:23 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-25 17:49:43 by afrisch] Inherit attr uses in extension

Original author: afrisch
Date: 2005-02-25 17:49:43+00:00

Revision 1489 - Directory Listing
Modified Tue Jul 10 18:55:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-25 14:13:45 by afrisch] anyAttribute

Original author: afrisch
Date: 2005-02-25 14:13:45+00:00

Revision 1488 - Directory Listing
Modified Tue Jul 10 18:54:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-25 13:23:48 by afrisch] xsi:nil

Original author: afrisch
Date: 2005-02-25 13:23:49+00:00

Revision 1487 - Directory Listing
Modified Tue Jul 10 18:54:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-25 10:35:06 by afrisch] Bind namespace prefix when loading a schema

Original author: afrisch
Date: 2005-02-25 10:35:06+00:00

Revision 1485 - Directory Listing
Modified Tue Jul 10 18:54:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-25 00:59:40 by afrisch] Schema element wildcards

Original author: afrisch
Date: 2005-02-25 00:59:41+00:00

Revision 1484 - Directory Listing
Modified Tue Jul 10 18:54:21 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-24 17:04:46 by afrisch] Clean

Original author: afrisch
Date: 2005-02-24 17:04:46+00:00

Revision 1482 - Directory Listing
Modified Tue Jul 10 18:54:15 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-24 15:27:50 by afrisch] Simple types

Original author: afrisch
Date: 2005-02-24 15:27:51+00:00

Revision 1481 - Directory Listing
Modified Tue Jul 10 18:54:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-24 12:42:45 by afrisch] Simplify handling of recursion

Original author: afrisch
Date: 2005-02-24 12:42:46+00:00

Revision 1480 - Directory Listing
Modified Tue Jul 10 18:53:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-24 09:07:07 by afrisch] Bug

Original author: afrisch
Date: 2005-02-24 09:07:07+00:00

Revision 1477 - Directory Listing
Modified Tue Jul 10 18:53:43 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-23 14:27:37 by afrisch] Various

Original author: afrisch
Date: 2005-02-23 14:27:38+00:00

Revision 1474 - Directory Listing
Modified Tue Jul 10 18:53:27 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-23 01:17:28 by afrisch] Print

Original author: afrisch
Date: 2005-02-23 01:17:29+00:00

Revision 1468 - Directory Listing
Modified Tue Jul 10 18:52:59 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-22 15:33:36 by afrisch] Clean

Original author: afrisch
Date: 2005-02-22 15:33:36+00:00

Revision 1467 - Directory Listing
Modified Tue Jul 10 18:52:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-22 01:19:25 by afrisch] Use Char*, not String*

Original author: afrisch
Date: 2005-02-22 01:19:25+00:00

Revision 1466 - Directory Listing
Modified Tue Jul 10 18:52:44 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-22 00:46:20 by afrisch] New translation for types

Original author: afrisch
Date: 2005-02-22 00:46:20+00:00

Revision 1465 - Directory Listing
Modified Tue Jul 10 18:52:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-22 00:41:58 by afrisch] New translation for types

Original author: afrisch
Date: 2005-02-22 00:41:59+00:00

Revision 1464 - Directory Listing
Modified Tue Jul 10 18:52:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-21 17:32:57 by afrisch] New compilation for types -- does not detect ill-formed recursion yet

Original author: afrisch
Date: 2005-02-21 17:32:57+00:00

Revision 1463 - Directory Listing
Modified Tue Jul 10 18:52:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-21 07:15:03 by afrisch] Empty log message

Original author: afrisch
Date: 2005-02-21 07:15:04+00:00

Revision 1462 - Directory Listing
Modified Tue Jul 10 18:52:22 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-20 21:05:15 by afrisch] Use lazy to resolve circularities

Original author: afrisch
Date: 2005-02-20 21:05:16+00:00

Revision 1460 - Directory Listing
Modified Tue Jul 10 18:52:10 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-18 17:36:34 by afrisch] Schema and namespaces

Original author: afrisch
Date: 2005-02-18 17:36:35+00:00

Revision 1458 - Directory Listing
Modified Tue Jul 10 18:51:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-18 12:12:08 by afrisch] include schema

Original author: afrisch
Date: 2005-02-18 12:12:09+00:00

Revision 1455 - Directory Listing
Modified Tue Jul 10 18:51:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-02-17 17:01:05 by afrisch] Handle recursion in schema

Original author: afrisch
Date: 2005-02-17 17:01:05+00:00

Revision 1433 - Directory Listing
Modified Tue Jul 10 18:49:23 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-01-18 15:43:21 by afrisch] 'always return the empty sequence' warning

Original author: afrisch
Date: 2005-01-18 15:43:21+00:00

Revision 1428 - Directory Listing
Modified Tue Jul 10 18:49:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-01-14 11:34:45 by afrisch] Warning not displayed

Original author: afrisch
Date: 2005-01-14 11:34:45+00:00

Revision 1413 - Directory Listing
Modified Tue Jul 10 18:47:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-01-06 17:09:37 by afrisch] Demo

Original author: afrisch
Date: 2005-01-06 17:09:38+00:00

Revision 1411 - Directory Listing
Modified Tue Jul 10 18:47:30 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-01-06 15:51:35 by afrisch] review html output, prepare demo

Original author: afrisch
Date: 2005-01-06 15:51:38+00:00

Revision 1401 - Directory Listing
Modified Tue Jul 10 18:46:22 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2005-01-03 10:16:00 by afrisch] Explain, exit

Original author: afrisch
Date: 2005-01-03 10:16:01+00:00

Revision 1398 - Directory Listing
Modified Tue Jul 10 18:45:54 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-12-30 18:01:43 by afrisch] Explain

Original author: afrisch
Date: 2004-12-30 18:01:55+00:00

Revision 1376 - Directory Listing
Modified Tue Jul 10 18:43:59 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-12-27 00:29:42 by afrisch] Get rid of [ .. ; p ], simulate it

Original author: afrisch
Date: 2004-12-27 00:29:42+00:00

Revision 1375 - Directory Listing
Modified Tue Jul 10 18:43:52 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-12-26 23:43:53 by afrisch] Oops

Original author: afrisch
Date: 2004-12-26 23:43:54+00:00

Revision 1374 - Directory Listing
Modified Tue Jul 10 18:43:45 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-12-26 23:35:01 by afrisch] Better localization of terminators (x:=`nil)

Original author: afrisch
Date: 2004-12-26 23:35:01+00:00

Revision 1368 - Directory Listing
Modified Tue Jul 10 18:43:07 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-12-25 20:39:15 by afrisch] Default values for record fields

Original author: afrisch
Date: 2004-12-25 20:39:15+00:00

Revision 1328 - Directory Listing
Modified Tue Jul 10 18:40:12 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-11-03 22:50:16 by afrisch] Guarded pattern + back to old semantics for default patterns in
regexps

Original author: afrisch
Date: 2004-11-03 22:50:16+00:00

Revision 1294 - Directory Listing
Modified Tue Jul 10 18:38:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-10-19 11:14:38 by afrisch] Rework XML Schema stuff...

Original author: afrisch
Date: 2004-10-19 11:14:39+00:00

Revision 1292 - Directory Listing
Modified Tue Jul 10 18:37:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-10-18 09:17:05 by afrisch] Trying to fix Schema...

Original author: afrisch
Date: 2004-10-18 09:17:05+00:00

Revision 1260 - Directory Listing
Modified Tue Jul 10 18:35:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-08-29 12:43:01 by afrisch] Update to OCaml 3.08.1 and latest pxp (break namespaces in Schema
support -> to be fixed)

Original author: afrisch
Date: 2004-08-29 12:43:01+00:00

Revision 1239 - Directory Listing
Modified Tue Jul 10 18:34:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-07-08 15:50:08 by afrisch] Clean up: delete old system for operators

Original author: afrisch
Date: 2004-07-08 15:51:05+00:00

Revision 1238 - Directory Listing
Modified Tue Jul 10 18:33:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-07-08 13:55:14 by afrisch] Operators

Original author: afrisch
Date: 2004-07-08 13:55:15+00:00

Revision 1237 - Directory Listing
Modified Tue Jul 10 18:33:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-07-08 11:54:48 by afrisch] New system for operators

Original author: afrisch
Date: 2004-07-08 11:54:50+00:00

Revision 1215 - Directory Listing
Modified Tue Jul 10 18:31:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-07-05 13:19:51 by afrisch] eval

Original author: afrisch
Date: 2004-07-05 13:19:52+00:00

Revision 1190 - Directory Listing
Modified Tue Jul 10 18:30:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-07-02 23:26:38 by afrisch] Serialize schema by reference

Original author: afrisch
Date: 2004-07-02 23:26:39+00:00

Revision 1189 - Directory Listing
Modified Tue Jul 10 18:29:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-06-30 17:29:12 by afrisch] Error messages

Original author: afrisch
Date: 2004-06-30 17:29:12+00:00

Revision 1178 - Directory Listing
Modified Tue Jul 10 18:28:52 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-06-28 18:35:47 by afrisch] Optional 'external' keyword

Original author: afrisch
Date: 2004-06-28 18:35:47+00:00

Revision 1177 - Directory Listing
Modified Tue Jul 10 18:28:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-06-28 18:24:35 by afrisch] Delay the allocation of slots for externals

Original author: afrisch
Date: 2004-06-28 18:24:35+00:00

Revision 1167 - Directory Listing
Modified Tue Jul 10 18:27:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-06-28 12:37:21 by afrisch] Calling polymorphic OCaml functions

Original author: afrisch
Date: 2004-06-28 12:37:21+00:00

Revision 1156 - Directory Listing
Modified Tue Jul 10 18:26:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-06-28 03:27:16 by afrisch] Call OCaml functions

Original author: afrisch
Date: 2004-06-28 03:27:17+00:00

Revision 1102 - Directory Listing
Modified Tue Jul 10 18:22:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-05-11 21:45:29 by afrisch] Allow redefinition of type names

Original author: afrisch
Date: 2004-05-11 21:45:29+00:00

Revision 1096 - Directory Listing
Modified Tue Jul 10 18:22:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-05-05 21:14:46 by afrisch] New semantics for 'using'

Original author: afrisch
Date: 2004-05-05 21:14:47+00:00

Revision 969 - Directory Listing
Modified Tue Jul 10 18:14:40 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-01-23 13:55:11 by afrisch] Bug fix

Original author: afrisch
Date: 2004-01-23 13:55:11+00:00

Revision 956 - Directory Listing
Modified Tue Jul 10 18:13:56 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2004-01-20 16:12:13 by afrisch] Debut des types abstraits

Original author: afrisch
Date: 2004-01-20 16:12:15+00:00

Revision 887 - Directory Listing
Modified Tue Jul 10 18:09:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-29 11:28:59 by szach] bugfix: generate non sequence content model for schema simple contents

Original author: szach
Date: 2003-11-29 11:28:59+00:00

Revision 862 - Directory Listing
Modified Tue Jul 10 18:07:54 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-28 11:18:14 by szach] better error message while referencing an unregistered schema

Original author: szach
Date: 2003-11-28 11:18:14+00:00

Revision 840 - Directory Listing
Modified Tue Jul 10 18:06:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-26 16:19:42 by szach] bugfix: schema attributes are now not qualified by default

Original author: szach
Date: 2003-11-26 16:19:42+00:00

Revision 825 - Directory Listing
Modified Tue Jul 10 18:05:45 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-25 11:16:06 by beppe] Modified error message

Original author: beppe
Date: 2003-11-25 11:16:06+00:00

Revision 813 - Directory Listing
Modified Tue Jul 10 18:04:58 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-24 16:06:22 by szach] use UTF8 for schema syntax

Original author: szach
Date: 2003-11-24 16:06:22+00:00

Revision 812 - Directory Listing
Modified Tue Jul 10 18:04:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-24 16:03:12 by szach] use Utf8 everywhere in schema support

Original author: szach
Date: 2003-11-24 16:03:14+00:00

Revision 803 - Directory Listing
Modified Tue Jul 10 18:04:14 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-21 12:51:57 by szach] qualify record fields and tagnames with targetNamespace namespace

Original author: szach
Date: 2003-11-21 12:51:57+00:00

Revision 786 - Directory Listing
Modified Tue Jul 10 18:03:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-11-20 11:40:08 by szach] - factorized code for schema types lookup

- added backend for #print_{type,schema} directives

Original author: szach
Date: 2003-11-20 11:40:08+00:00

Revision 757 - Directory Listing
Modified Tue Jul 10 18:01:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-24 09:36:47 by szach] - added support for schema {attribute,module} groups

- ported to new schema representation

Original author: szach
Date: 2003-10-24 09:36:47+00:00

Revision 756 - Directory Listing
Modified Tue Jul 10 18:01:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-24 09:36:01 by szach] removed some old schema methods

Original author: szach
Date: 2003-10-24 09:36:01+00:00

Revision 723 - Directory Listing
Modified Tue Jul 10 17:58:57 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-13 20:03:05 by cvscast] Remove -o; add -I --obj-dir; error messages

Original author: cvscast
Date: 2003-10-13 20:03:06+00:00

Revision 722 - Directory Listing
Modified Tue Jul 10 17:58:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-10 22:00:14 by cvscast] Logical operators + regexp example

Original author: cvscast
Date: 2003-10-10 22:00:15+00:00

Revision 714 - Directory Listing
Modified Tue Jul 10 17:58:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-08 21:45:06 by cvscast] Toplevel and sep. comp.

Original author: cvscast
Date: 2003-10-08 21:45:07+00:00

Revision 713 - Directory Listing
Modified Tue Jul 10 17:58:04 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-08 21:24:38 by cvscast] Separate compilation

Original author: cvscast
Date: 2003-10-08 21:25:22+00:00

Revision 705 - Directory Listing
Modified Tue Jul 10 17:57:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-07 19:36:59 by cvscast] Broutilles

Original author: cvscast
Date: 2003-10-07 19:37:00+00:00

Revision 698 - Directory Listing
Modified Tue Jul 10 17:56:40 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-04 02:00:15 by cvscast] Compilation + serialization

Original author: cvscast
Date: 2003-10-04 02:01:37+00:00

Revision 695 - Directory Listing
Modified Tue Jul 10 17:56:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-02 20:04:31 by cvscast] Cleaning + new semantics for default values in regexps

Original author: cvscast
Date: 2003-10-02 20:04:32+00:00

Revision 694 - Directory Listing
Modified Tue Jul 10 17:55:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-10-01 22:59:28 by cvscast] Empty log message

Original author: cvscast
Date: 2003-10-01 22:59:29+00:00

Revision 692 - Directory Listing
Modified Tue Jul 10 17:55:30 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-27 22:49:09 by cvscast] alternative evaluator (--compile)

Original author: cvscast
Date: 2003-09-27 22:49:09+00:00

Revision 691 - Directory Listing
Modified Tue Jul 10 17:55:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ...

Original author: cvscast
Date: 2003-09-27 12:41:34+00:00

Revision 686 - Directory Listing
Modified Tue Jul 10 17:54:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-25 22:48:47 by cvscast] Cleaning

Original author: cvscast
Date: 2003-09-25 22:48:47+00:00

Revision 677 - Directory Listing
Modified Tue Jul 10 17:53:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-24 23:21:08 by cvscast] Cleaning

Original author: cvscast
Date: 2003-09-24 23:21:10+00:00

Revision 672 - Directory Listing
Modified Tue Jul 10 17:53:24 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-23 19:41:35 by cvscast] Constantes structurees + suite nettoyage

Original author: cvscast
Date: 2003-09-23 19:41:36+00:00

Revision 667 - Directory Listing
Modified Tue Jul 10 17:52:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-22 16:18:19 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-22 16:21:12+00:00

Revision 666 - Directory Listing
Modified Tue Jul 10 17:52:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-22 13:21:34 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-22 13:21:34+00:00

Revision 656 - Directory Listing
Modified Tue Jul 10 17:51:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more uppercase/lowercase distinction for
identifiers

Original author: cvscast
Date: 2003-09-16 21:30:45+00:00

Revision 653 - Directory Listing
Modified Tue Jul 10 17:51:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-09-14 19:36:06 by cvscast] Cleaning + upgrade to OCaml 3.07+beta2 (use recursive modules)

Original author: cvscast
Date: 2003-09-14 19:36:10+00:00

Revision 640 - Directory Listing
Modified Tue Jul 10 17:49:57 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-08-01 15:01:35 by cvscast] Bugfix: ill-formed patterns were accepted in tge toplevel because of
memoization

Original author: cvscast
Date: 2003-08-01 15:01:35+00:00

Revision 637 - Directory Listing
Modified Tue Jul 10 17:49:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-07-30 10:34:39 by cvscast] Don't report unused branches after error in toplevel

Original author: cvscast
Date: 2003-07-30 10:34:39+00:00

Revision 623 - Directory Listing
Modified Tue Jul 10 17:48:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-07-24 15:11:47 by cvscast] Experiment with encoded references

Original author: cvscast
Date: 2003-07-24 15:12:14+00:00

Revision 553 - Directory Listing
Modified Tue Jul 10 17:44:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-07-02 09:24:27 by cvscast] reinit_ns directive

Original author: cvscast
Date: 2003-07-02 09:24:28+00:00

Revision 552 - Directory Listing
Modified Tue Jul 10 17:43:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-30 21:35:52 by cvscast] Review internal pretting printing of namespaces -- Alain

Original author: cvscast
Date: 2003-06-30 21:35:53+00:00

Revision 549 - Directory Listing
Modified Tue Jul 10 17:43:35 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-30 14:11:14 by cvscast] Namespaces in record fields

Original author: cvscast
Date: 2003-06-30 14:11:14+00:00

Revision 542 - Directory Listing
Modified Tue Jul 10 17:43:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-29 20:28:52 by cvscast] Continuing namespaces : records and print_xml -- Alain

Original author: cvscast
Date: 2003-06-29 20:28:53+00:00

Revision 530 - Directory Listing
Modified Tue Jul 10 17:42:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-25 23:20:40 by cvscast] Local namespace bindings -- Alain

Original author: cvscast
Date: 2003-06-25 23:20:40+00:00

Revision 529 - Directory Listing
Modified Tue Jul 10 17:42:07 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain

Original author: cvscast
Date: 2003-06-25 23:11:03+00:00

Revision 522 - Directory Listing
Modified Tue Jul 10 17:41:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-17 15:49:59 by cvscast] Review type-checking of strings (TODO: clean the parser; improve
pretty-printing of errors)

Original author: cvscast
Date: 2003-06-17 15:50:00+00:00

Revision 516 - Directory Listing
Modified Tue Jul 10 17:40:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-15 21:46:12 by cvscast] - added support for xsd:all term

- 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

Revision 508 - Directory Listing
Modified Tue Jul 10 17:40:17 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-13 10:03:21 by cvscast] zack: synced with new schema_types

Original author: cvscast
Date: 2003-06-13 10:03:21+00:00

Revision 505 - Directory Listing
Modified Tue Jul 10 17:40:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-12 15:09:46 by cvscast] Starting recursive types in Schema

Original author: cvscast
Date: 2003-06-12 15:09:46+00:00

Revision 501 - Directory Listing
Modified Tue Jul 10 17:39:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-06-12 13:15:56 by cvscast] Merging schema branch

Original author: cvscast
Date: 2003-06-12 13:16:00+00:00

Revision 431 - Directory Listing
Modified Tue Jul 10 17:34:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-25 16:53:21 by cvscast] toplevel

Original author: cvscast
Date: 2003-05-25 16:53:22+00:00

Revision 427 - Directory Listing
Modified Tue Jul 10 17:33:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-25 12:20:16 by cvscast] No warning for embedded unused branches

Original author: cvscast
Date: 2003-05-25 12:20:16+00:00

Revision 426 - Directory Listing
Modified Tue Jul 10 17:33:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-25 12:04:58 by cvscast] Menage

Original author: cvscast
Date: 2003-05-25 12:04:58+00:00

Revision 421 - Directory Listing
Modified Tue Jul 10 17:33:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-25 10:34:50 by cvscast] review Builtin

Original author: cvscast
Date: 2003-05-25 10:34:50+00:00

Revision 413 - Directory Listing
Modified Tue Jul 10 17:32:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-24 21:02:32 by cvscast] Beppe: typos

Original author: cvscast
Date: 2003-05-24 21:02:32+00:00

Revision 391 - Directory Listing
Modified Tue Jul 10 17:31:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-22 14:12:52 by cvscast] Web design

Original author: cvscast
Date: 2003-05-22 14:12:54+00:00

Revision 384 - Directory Listing
Modified Tue Jul 10 17:30:36 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-21 21:24:56 by cvscast] Manual

Original author: cvscast
Date: 2003-05-21 21:24:56+00:00

Revision 374 - Directory Listing
Modified Tue Jul 10 17:29:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-20 13:27:25 by cvscast] Unicode support

Original author: cvscast
Date: 2003-05-20 13:27:27+00:00

Revision 368 - Directory Listing
Modified Tue Jul 10 17:28:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-18 16:03:03 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-18 16:03:04+00:00

Revision 364 - Directory Listing
Modified Tue Jul 10 17:28:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-18 13:30:38 by cvscast] New pretty-printer for types

Original author: cvscast
Date: 2003-05-18 13:30:58+00:00

Revision 361 - Directory Listing
Modified Tue Jul 10 17:28:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-16 13:32:07 by cvscast] Bug fix in type_check_pair

Original author: cvscast
Date: 2003-05-16 13:32:07+00:00

Revision 355 - Directory Listing
Modified Tue Jul 10 17:27:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-15 09:26:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-15 09:30:09+00:00

Revision 336 - Directory Listing
Modified Tue Jul 10 17:26:17 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-13 17:13:48 by cvscast] Starting tutorial

Original author: cvscast
Date: 2003-05-13 17:13:52+00:00

Revision 335 - Directory Listing
Modified Tue Jul 10 17:26:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-13 14:05:38 by cvscast] Bug in type-checking for records

Original author: cvscast
Date: 2003-05-13 14:05:38+00:00

Revision 334 - Directory Listing
Modified Tue Jul 10 17:26:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-13 14:01:26 by cvscast] Bug in type-checking for pairs

Original author: cvscast
Date: 2003-05-13 14:01:26+00:00

Revision 331 - Directory Listing
Modified Tue Jul 10 17:25:44 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-11 11:36:01 by cvscast] Changed ttree into xtransform. BEPPE

Original author: cvscast
Date: 2003-05-11 11:36:01+00:00

Revision 330 - Directory Listing
Modified Tue Jul 10 17:25:37 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-11 11:23:36 by cvscast] Corrected a typo BEPPE

Original author: cvscast
Date: 2003-05-11 11:23:36+00:00

Revision 329 - Directory Listing
Modified Tue Jul 10 17:25:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-11 09:30:40 by cvscast] atom_of

Original author: cvscast
Date: 2003-05-11 09:30:41+00:00

Revision 320 - Directory Listing
Modified Tue Jul 10 17:24:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-10 22:08:59 by cvscast] Detect empty types declarations

Original author: cvscast
Date: 2003-05-10 22:08:59+00:00

Revision 316 - Directory Listing
Modified Tue Jul 10 17:24:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-10 18:31:04 by cvscast] Special nodes to locate expressions

Original author: cvscast
Date: 2003-05-10 18:31:04+00:00

Revision 314 - Directory Listing
Modified Tue Jul 10 17:24:30 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-10 17:49:06 by cvscast] Unused branches

Original author: cvscast
Date: 2003-05-10 17:49:06+00:00

Revision 294 - Directory Listing
Modified Tue Jul 10 17:23:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-05-08 15:58:53 by cvscast] added cvsignore files to have cvs ignore OCaml object files

Original author: cvscast
Date: 2003-05-08 15:58:54+00:00

Revision 278 - Directory Listing
Modified Tue Jul 10 17:21:59 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-24 22:41:38 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-24 22:42:11+00:00

Revision 277 - Directory Listing
Modified Tue Jul 10 17:21:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-23 21:09:48 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-23 21:09:49+00:00

Revision 276 - Directory Listing
Modified Tue Jul 10 17:21:39 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-23 11:34:36 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-23 11:34:37+00:00

Revision 274 - Directory Listing
Modified Tue Jul 10 17:21:27 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-22 23:21:32 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 23:21:32+00:00

Revision 263 - Directory Listing
Modified Tue Jul 10 17:20:36 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-17 22:44:29 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-17 22:44:44+00:00

Revision 259 - Directory Listing
Modified Tue Jul 10 17:20:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-16 21:54:37 by cvscast] ::

Original author: cvscast
Date: 2003-03-16 21:54:38+00:00

Revision 249 - Directory Listing
Modified Tue Jul 10 17:19:14 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-16 14:05:39 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-16 14:08:16+00:00

Revision 243 - Directory Listing
Modified Tue Jul 10 17:18:44 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-15 10:59:53 by cvscast] map pour les chars et les atoms

Original author: cvscast
Date: 2003-03-15 10:59:54+00:00

Revision 242 - Directory Listing
Modified Tue Jul 10 17:18:33 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-15 08:40:32 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-15 08:40:32+00:00

Revision 240 - Directory Listing
Modified Tue Jul 10 17:18:24 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-14 18:11:21 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 18:13:42+00:00

Revision 239 - Directory Listing
Modified Tue Jul 10 17:18:10 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-14 16:29:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 16:29:56+00:00

Revision 237 - Directory Listing
Modified Tue Jul 10 17:18:04 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-14 16:14:17 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 16:15:14+00:00

Revision 233 - Directory Listing
Modified Tue Jul 10 17:17:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-10 22:35:20 by cvscast] De nouveau rapides, les records

Original author: cvscast
Date: 2003-03-10 22:35:21+00:00

Revision 229 - Directory Listing
Modified Tue Jul 10 17:17:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-09 23:48:48 by cvscast] Groose simplification records + ralentissement

Original author: cvscast
Date: 2003-03-09 23:48:49+00:00

Revision 225 - Directory Listing
Modified Tue Jul 10 17:16:34 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-03-08 15:10:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 15:10:03+00:00

Revision 210 - Directory Listing
Modified Tue Jul 10 17:15:00 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2003-01-30 15:35:28 by cvscast] Added the mod integer operation - Beppe modified memento accordingly

Original author: cvscast
Date: 2003-01-30 15:35:28+00:00

Revision 188 - Directory Listing
Modified Tue Jul 10 17:13:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-12-20 23:15:22 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-20 23:15:23+00:00

Revision 172 - Directory Listing
Modified Tue Jul 10 17:12:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-12-05 15:47:05 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-05 15:48:13+00:00

Revision 167 - Directory Listing
Modified Tue Jul 10 17:12:07 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-12-02 23:22:25 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-02 23:22:25+00:00

Revision 159 - Directory Listing
Modified Tue Jul 10 17:11:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-26 09:25:47 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-26 09:25:47+00:00

Revision 148 - Directory Listing
Modified Tue Jul 10 17:10:28 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-24 17:25:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-24 17:25:48+00:00

Revision 142 - Directory Listing
Modified Tue Jul 10 17:10:00 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-17 12:00:06 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-17 12:00:06+00:00

Revision 141 - Directory Listing
Modified Tue Jul 10 17:09:57 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-17 11:56:27 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-17 11:56:46+00:00

Revision 140 - Directory Listing
Modified Tue Jul 10 17:09:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-17 11:34:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-17 11:34:45+00:00

Revision 139 - Directory Listing
Modified Tue Jul 10 17:09:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-17 09:28:21 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-17 09:28:22+00:00

Revision 133 - Directory Listing
Modified Tue Jul 10 17:09:20 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-16 14:34:49 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 14:35:45+00:00

Revision 130 - Directory Listing
Modified Tue Jul 10 17:09:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-16 11:53:47 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 11:53:48+00:00

Revision 126 - Directory Listing
Modified Tue Jul 10 17:08:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-16 00:26:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 00:26:50+00:00

Revision 124 - Directory Listing
Modified Tue Jul 10 17:08:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-13 23:21:38 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-13 23:21:39+00:00

Revision 122 - Directory Listing
Modified Tue Jul 10 17:08:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-13 09:47:59 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-13 09:47:59+00:00

Revision 121 - Directory Listing
Modified Tue Jul 10 17:08:00 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-13 09:08:08 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-13 09:10:13+00:00

Revision 116 - Directory Listing
Modified Tue Jul 10 17:07:37 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-11 18:55:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-11 18:55:45+00:00

Revision 110 - Directory Listing
Modified Tue Jul 10 17:07:14 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-10 22:26:37 by cvscast] Passage au type XML

Original author: cvscast
Date: 2002-11-10 22:26:39+00:00

Revision 107 - Directory Listing
Modified Tue Jul 10 17:06:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-10 16:13:31 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 16:13:32+00:00

Revision 95 - Directory Listing
Modified Tue Jul 10 17:05:54 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-10 02:21:45 by cvscast] Saving/restoring global state

Original author: cvscast
Date: 2002-11-10 02:21:46+00:00

Revision 86 - Directory Listing
Modified Tue Jul 10 17:05:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-08 22:16:27 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-08 22:16:27+00:00

Revision 78 - Directory Listing
Modified Tue Jul 10 17:04:23 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-06 07:46:53 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-06 07:47:30+00:00

Revision 76 - Directory Listing
Modified Tue Jul 10 17:04:07 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-05 16:09:14 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-05 16:09:15+00:00

Revision 72 - Directory Listing
Modified Tue Jul 10 17:03:39 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-01 21:16:09 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-01 21:16:09+00:00

Revision 71 - Directory Listing
Modified Tue Jul 10 17:03:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-01 20:09:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-01 20:09:49+00:00

Revision 69 - Directory Listing
Modified Tue Jul 10 17:03:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-11-01 03:37:28 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-01 03:37:28+00:00

Revision 66 - Directory Listing
Modified Tue Jul 10 17:02:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-31 16:59:46 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-31 17:00:08+00:00

Revision 65 - Directory Listing
Modified Tue Jul 10 17:02:35 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-30 03:12:08 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-30 03:12:08+00:00

Revision 64 - Directory Listing
Modified Tue Jul 10 17:02:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-30 03:08:01 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-30 03:08:09+00:00

Revision 58 - Directory Listing
Modified Tue Jul 10 17:01:56 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-29 18:49:26 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-29 18:49:26+00:00

Revision 54 - Directory Listing
Modified Tue Jul 10 17:01:32 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-26 21:32:21 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 21:32:21+00:00

Revision 51 - Directory Listing
Modified Tue Jul 10 17:01:10 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-26 18:42:59 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 18:43:00+00:00

Revision 47 - Directory Listing
Modified Tue Jul 10 17:00:52 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-26 17:23:03 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 17:23:03+00:00

Revision 46 - Directory Listing
Modified Tue Jul 10 17:00:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-26 17:05:30 by cvscast] Evaluateur tourne !

Original author: cvscast
Date: 2002-10-26 17:05:31+00:00

Revision 45 - Directory Listing
Modified Tue Jul 10 17:00:40 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-26 16:18:24 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 16:18:25+00:00

Revision 37 - Directory Listing
Modified Tue Jul 10 16:59:53 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-22 14:26:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-22 14:26:48+00:00

Revision 36 - Directory Listing
Modified Tue Jul 10 16:59:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-22 14:01:35 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-22 14:01:36+00:00

Revision 33 - Directory Listing
Modified Tue Jul 10 16:59:36 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 21:39:39 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 21:39:39+00:00

Revision 32 - Directory Listing
Modified Tue Jul 10 16:59:33 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 21:21:42 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 21:21:42+00:00

Revision 31 - Directory Listing
Modified Tue Jul 10 16:59:30 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 21:12:57 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 21:12:57+00:00

Revision 30 - Directory Listing
Modified Tue Jul 10 16:59:25 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 19:11:57 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 19:13:15+00:00

Revision 29 - Directory Listing
Modified Tue Jul 10 16:59:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 18:58:02 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 18:58:02+00:00

Revision 28 - Directory Listing
Modified Tue Jul 10 16:59:15 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 18:07:22 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 18:07:23+00:00

Revision 27 - Directory Listing
Modified Tue Jul 10 16:59:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-21 09:03:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 09:03:48+00:00

Revision 26 - Directory Listing
Modified Tue Jul 10 16:59:08 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-20 23:34:54 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 23:34:54+00:00

Revision 19 - Directory Listing
Modified Tue Jul 10 16:58:37 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-20 19:07:35 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 19:08:05+00:00

Revision 18 - Directory Listing
Modified Tue Jul 10 16:58:28 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-19 20:52:17 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-19 20:52:18+00:00

Revision 17 - Directory Listing
Modified Tue Jul 10 16:58:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-19 15:56:14 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-19 15:56:15+00:00

Revision 16 - Directory Listing
Modified Tue Jul 10 16:58:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-17 15:38:33 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-17 15:38:35+00:00

Revision 15 - Directory Listing
Modified Tue Jul 10 16:57:55 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-17 12:30:01 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-17 12:30:46+00:00

Revision 13 - Directory Listing
Modified Tue Jul 10 16:57:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-16 16:18:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-16 16:18:48+00:00

Revision 11 - Directory Listing
Modified Tue Jul 10 16:57:31 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-16 08:58:50 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-16 08:58:50+00:00

Revision 9 - Directory Listing
Modified Tue Jul 10 16:57:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-14 22:05:40 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-14 22:05:40+00:00

Revision 6 - Directory Listing
Modified Tue Jul 10 16:57:08 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-10 16:39:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 16:39:45+00:00

Revision 5 - Directory Listing
Modified Tue Jul 10 16:57:03 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-10 15:40:34 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 15:41:10+00:00

Revision 4 - Directory Listing
Added Tue Jul 10 16:56:57 2007 UTC (5 years, 10 months ago) by abate
Original Path: typing

[r2002-10-10 15:02:36 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 15:02:36+00:00