[svn] Log of /cduce/trunk/types

Revision 1957 - Directory Listing
Modified Thu Oct 4 15:30:11 2007 UTC (5 years, 7 months ago) by abate

- experimental support for cdata sections

Revision 1956 - Directory Listing
Modified Wed Jul 11 13:01:15 2007 UTC (5 years, 10 months ago) by abate
Copied from: types 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: types

[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 1932 - Directory Listing
Modified Tue Jul 10 19:32:35 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2007-01-01 14:58:02 by afrisch] int_of_char

Original author: afrisch
Date: 2007-01-01 14:58:02+00:00

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

[r2006-10-31 19:04:37 by afrisch] Empty log message

Original author: afrisch
Date: 2006-10-31 19:04:37+00:00

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

[r2006-10-03 09:39:57 by afrisch] Empty log message

Original author: afrisch
Date: 2006-10-03 09:39:58+00:00

Revision 1907 - Directory Listing
Modified Tue Jul 10 19:30:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2006-10-03 06:13:56 by afrisch] Export a Caml_int type

Original author: afrisch
Date: 2006-10-03 06:14:31+00:00

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

[r2006-09-11 12:20:06 by afrisch] Empty log message

Original author: afrisch
Date: 2006-09-11 12:20:06+00:00

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

[r2006-09-11 12:01:39 by afrisch] Empty log message

Original author: afrisch
Date: 2006-09-11 12:01:39+00:00

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

[r2006-09-11 09:14:02 by afrisch] Empty log message

Original author: afrisch
Date: 2006-09-11 09:14:02+00:00

Revision 1898 - Directory Listing
Modified Tue Jul 10 19:30:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2006-09-09 20:16:08 by afrisch] Print regexp of the form [ t? ... ]

Original author: afrisch
Date: 2006-09-09 20:16:08+00:00

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

[r2006-07-04 09:25:21 by afrisch] Empty log message

Original author: afrisch
Date: 2006-07-04 09:25:21+00:00

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

[r2006-05-30 08:24:14 by afrisch] Empty log message

Original author: afrisch
Date: 2006-05-30 08:24:14+00:00

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

[r2006-05-29 13:35:26 by afrisch] Empty log message

Original author: afrisch
Date: 2006-05-29 13:35:26+00:00

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

[r2006-05-29 12:31:49 by afrisch] Empty log message

Original author: afrisch
Date: 2006-05-29 12:31:50+00:00

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

[r2006-05-29 08:38:53 by afrisch] Empty log message

Original author: afrisch
Date: 2006-05-29 08:38:54+00:00

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

[r2006-04-27 15:15:07 by afrisch] Empty log message

Original author: afrisch
Date: 2006-04-27 15:15:32+00:00

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

[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 1860 - Directory Listing
Modified Tue Jul 10 19:27:44 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2006-04-24 16:47:52 by afrisch] New subtyping algo

Original author: afrisch
Date: 2006-04-24 16:47:52+00:00

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

[r2006-04-21 16:03:53 by afrisch] Tracing the cache

Original author: afrisch
Date: 2006-04-21 16:03:53+00:00

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

[r2006-04-21 15:53:55 by afrisch] Compute witnesses during subtyping

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

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

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

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

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

[r2006-03-26 15:54:27 by afrisch] dump_to_file produce catchable exceptions

Original author: afrisch
Date: 2006-03-26 15:54:27+00:00

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

[r2006-01-27 16:52:28 by afrisch] Empty log message

Original author: afrisch
Date: 2006-01-27 16:52:29+00:00

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

[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 1782 - Directory Listing
Modified Tue Jul 10 19:22:33 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-07-29 15:04:16 by afrisch] Don't fail on trivially ok runtime checks

Original author: afrisch
Date: 2005-07-29 15:04:16+00:00

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

[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 1767 - Directory Listing
Modified Tue Jul 10 19:21:23 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

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

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

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

[r2005-07-08 15:07:02 by afrisch] fix samples

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

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

[r2005-07-07 08:58:53 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-07 08:58:53+00:00

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

[r2005-07-06 12:59:40 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-06 12:59:40+00:00

Revision 1749 - Directory Listing
Modified Tue Jul 10 19:19:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-07-05 15:46:03 by afrisch] Empty log message

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

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

[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 1734 - Directory Listing
Modified Tue Jul 10 19:18:01 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-06-18 06:58:35 by afrisch] Start using unique pools

Original author: afrisch
Date: 2005-06-18 07:00:04+00:00

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

[r2005-06-17 15:42:03 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-17 15:42:04+00:00

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

[r2005-06-17 14:55:43 by afrisch] New representation for integer maps (used for dispatcher on atoms and
for record values

Original author: afrisch
Date: 2005-06-17 14:55:44+00:00

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

[r2005-06-16 15:44:40 by afrisch] Begin automaton minimization

Original author: afrisch
Date: 2005-06-16 15:44:41+00:00

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

[r2005-06-16 13:53:05 by afrisch] Compilation: new algo for basic

Original author: afrisch
Date: 2005-06-16 13:53:05+00:00

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

[r2005-06-15 15:28:42 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-15 15:28:42+00:00

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

[r2005-06-13 21:56:19 by afrisch] Simplifications

Original author: afrisch
Date: 2005-06-13 21:56:19+00:00

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

[r2005-06-13 20:47:31 by afrisch] Cleanup

Original author: afrisch
Date: 2005-06-13 20:47:31+00:00

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

[r2005-06-13 15:25:20 by afrisch] Simplifications

Original author: afrisch
Date: 2005-06-13 15:25:20+00:00

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

[r2005-06-13 15:20:13 by afrisch] Simplifications

Original author: afrisch
Date: 2005-06-13 15:20:14+00:00

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

[r2005-06-09 16:00:29 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-09 16:00:29+00:00

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

[r2005-06-09 15:28:55 by afrisch] Begin simplified compilation

Original author: afrisch
Date: 2005-06-09 15:28:55+00:00

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

[r2005-06-09 08:58:56 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-09 08:58:56+00:00

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

[r2005-06-01 05:57:53 by afrisch] Use OCaml comparison for abstract values

Original author: afrisch
Date: 2005-06-01 05:57:53+00:00

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

[r2005-05-27 16:14:07 by afrisch] split_atom, make_atom

Original author: afrisch
Date: 2005-05-27 16:14:07+00:00

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

[r2005-05-24 20:48:51 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-24 20:48:51+00:00

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

[r2005-05-24 13:37:11 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-24 13:37:11+00:00

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

[r2005-05-24 12:26:59 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-24 12:26:59+00:00

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

[r2005-05-17 22:06:36 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-17 22:06:36+00:00

Revision 1676 - Directory Listing
Modified Tue Jul 10 19:13:52 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-05-17 18:45:09 by beppe] Empty log message

Original author: beppe
Date: 2005-05-17 18:45:09+00:00

Revision 1675 - Directory Listing
Modified Tue Jul 10 19:13:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-05-17 16:27:50 by beppe] erased debugging code

Original author: beppe
Date: 2005-05-17 16:27:50+00:00

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

[r2005-05-17 14:26:08 by beppe] Modified int_of so that now it accepts also strings 0x 0X 0b 0B 0o 0O
for hex, octals and binary

Original author: beppe
Date: 2005-05-17 14:26:09+00:00

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

[r2005-05-09 11:48:14 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-09 11:48:15+00:00

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

[r2005-05-07 20:13:53 by afrisch] Simplification

Original author: afrisch
Date: 2005-05-07 20:13:54+00:00

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

[r2005-05-05 22:42:31 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-05 22:43:43+00:00

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

[r2005-04-18 15:56:16 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-18 15:56:16+00:00

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

[r2005-04-04 13:23:04 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-04 13:23:04+00:00

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

[r2005-04-03 16:50:58 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-03 16:50:59+00:00

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

[r2005-03-31 14:54:09 by afrisch] Empty log message

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

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

[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 1577 - Directory Listing
Modified Tue Jul 10 19:04:27 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-03-23 16:36:58 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-23 16:36:58+00:00

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

[r2005-03-23 16:03:28 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-23 16:03:29+00:00

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

[r2005-03-23 15:10:34 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-23 15:10:34+00:00

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

[r2005-03-23 14:03:59 by afrisch] Empty log message

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

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

[r2005-03-21 16:38:36 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-21 16:38:37+00:00

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

[r2005-03-21 13:31:43 by afrisch] Remove Compile2

Original author: afrisch
Date: 2005-03-21 13:31:44+00:00

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

[r2005-03-16 18:07:42 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-16 18:07:42+00:00

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

[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 1535 - Directory Listing
Modified Tue Jul 10 19:00:43 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-03-09 13:33:51 by afrisch] string:// --> string: Resolution of external entities in PXP, expat

Original author: afrisch
Date: 2005-03-09 13:36:17+00:00

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

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

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

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

[r2005-03-06 15:52:10 by afrisch] New syntax for record types/patterns

Original author: afrisch
Date: 2005-03-06 15:52:11+00:00

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

[r2005-03-04 17:03:54 by afrisch] Need to link in OCaml units

Original author: afrisch
Date: 2005-03-04 17:05:34+00:00

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

[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: types

[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: types

[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 1490 - Directory Listing
Modified Tue Jul 10 18:55:12 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-02-25 14:46:38 by afrisch] float

Original author: afrisch
Date: 2005-02-25 14:46:39+00:00

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

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

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

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

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

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

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

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

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

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

[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: types

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

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

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

[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 1460 - Directory Listing
Modified Tue Jul 10 18:52:10 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

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

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

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

[r2005-02-14 20:28:23 by afrisch] Empty log message

Original author: afrisch
Date: 2005-02-14 20:28:24+00:00

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

[r2005-02-04 20:41:47 by afrisch] Empty log message

Original author: afrisch
Date: 2005-02-04 20:41:47+00:00

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

[r2005-02-01 13:10:25 by afrisch] Cleanup

Original author: afrisch
Date: 2005-02-01 13:10:26+00:00

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

[r2005-01-28 14:28:55 by afrisch] Standalone cduce_types library

Original author: afrisch
Date: 2005-01-28 14:29:12+00:00

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

[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 1429 - Directory Listing
Modified Tue Jul 10 18:49:05 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-01-15 06:38:45 by afrisch] Empty log message

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

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

[r2005-01-14 09:35:32 by afrisch] Change access to the stack in dispatcher -- this facilitates tail
recursion in run_dispatcher...

Original author: afrisch
Date: 2005-01-14 09:35:33+00:00

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

[r2005-01-14 06:32:35 by afrisch] Empty log message

Original author: afrisch
Date: 2005-01-14 06:32:36+00:00

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

[r2005-01-07 15:26:07 by afrisch] Demo

Original author: afrisch
Date: 2005-01-07 15:26:09+00:00

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

[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: types

[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 1408 - Directory Listing
Modified Tue Jul 10 18:46:58 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2005-01-05 11:08:43 by afrisch] Bug in factorization

Original author: afrisch
Date: 2005-01-05 11:08:44+00:00

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

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

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

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

[r2004-12-31 00:28:02 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-31 00:28:02+00:00

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

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

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

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

[r2004-12-28 11:21:41 by afrisch] Pretty-print abstract types

Original author: afrisch
Date: 2004-12-28 11:21:41+00:00

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

[r2004-12-27 17:11:30 by afrisch] Small opt

Original author: afrisch
Date: 2004-12-27 17:11:30+00:00

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

[r2004-12-27 17:00:18 by afrisch] Factorization for capture and `nil

Original author: afrisch
Date: 2004-12-27 17:00:18+00:00

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

[r2004-12-27 16:10:37 by afrisch] typo

Original author: afrisch
Date: 2004-12-27 16:10:37+00:00

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

[r2004-12-27 16:03:23 by afrisch] Cleanup

Original author: afrisch
Date: 2004-12-27 16:03:23+00:00

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

[r2004-12-27 15:49:44 by afrisch] Cleanup

Original author: afrisch
Date: 2004-12-27 15:49:45+00:00

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

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

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

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

[r2004-12-26 16:33:24 by afrisch] Before normalization

Original author: afrisch
Date: 2004-12-26 16:33:24+00:00

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

[r2004-12-26 15:36:17 by afrisch] New compilation seems to work, but horribly slow...

Original author: afrisch
Date: 2004-12-26 15:36:18+00:00

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

[r2004-12-26 00:19:23 by afrisch] new compilation (doesn't work yet)

Original author: afrisch
Date: 2004-12-26 00:19:24+00:00

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

[r2004-12-25 19:28:34 by afrisch] Records again

Original author: afrisch
Date: 2004-12-25 19:28:35+00:00

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

[r2004-12-25 05:09:22 by afrisch] Records

Original author: afrisch
Date: 2004-12-25 05:09:22+00:00

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

[r2004-12-25 01:12:55 by afrisch] Prepare for records

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

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

[r2004-12-24 17:39:42 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-24 17:39:42+00:00

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

[r2004-12-24 00:03:30 by afrisch] compilation: right/left, XML elem, ...

Original author: afrisch
Date: 2004-12-24 00:03:31+00:00

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

[r2004-12-23 21:52:59 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-23 21:52:59+00:00

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

[r2004-12-23 21:26:54 by afrisch] Empty log message

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

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

[r2004-12-23 18:38:55 by afrisch] Continuing compilation

Original author: afrisch
Date: 2004-12-23 18:38:55+00:00

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

[r2004-12-23 15:16:34 by afrisch] Simplify

Original author: afrisch
Date: 2004-12-23 15:16:34+00:00

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

[r2004-12-23 13:31:47 by afrisch] Compil

Original author: afrisch
Date: 2004-12-23 13:31:48+00:00

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

[r2004-12-23 00:33:43 by afrisch] comments

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

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

[r2004-12-23 00:21:19 by afrisch] Clean

Original author: afrisch
Date: 2004-12-23 00:21:19+00:00

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

[r2004-12-23 00:10:05 by afrisch] Derivation

Original author: afrisch
Date: 2004-12-23 00:10:05+00:00

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

[r2004-12-22 01:14:22 by afrisch] Better factorization

Original author: afrisch
Date: 2004-12-22 01:14:22+00:00

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

[r2004-12-22 00:41:57 by afrisch] Better factorization

Original author: afrisch
Date: 2004-12-22 00:41:57+00:00

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

[r2004-12-21 16:09:03 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-21 16:09:03+00:00

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

[r2004-12-20 22:08:36 by afrisch] Pretty print patterns

Original author: afrisch
Date: 2004-12-20 22:08:36+00:00

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

[r2004-12-20 16:47:07 by afrisch] Fix bug reported by JP Bodeveix

Original author: afrisch
Date: 2004-12-20 16:47:07+00:00

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

[r2004-09-30 15:43:48 by afrisch] Interval arithmetic for *

Original author: afrisch
Date: 2004-09-30 15:46:04+00:00

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

[r2004-09-22 11:51:48 by afrisch] Warning for division by zero

Original author: afrisch
Date: 2004-09-22 11:51:48+00:00

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

[r2004-09-08 09:23:06 by afrisch] CDuce 0.2.1

Original author: afrisch
Date: 2004-09-08 09:23:06+00:00

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

[r2004-07-13 22:14:52 by afrisch] Empty log message

Original author: afrisch
Date: 2004-07-13 22:14:53+00:00

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

[r2004-07-13 21:15:18 by afrisch] Merge in branch ocaml308

Original author: afrisch
Date: 2004-07-13 21:15:19+00:00

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

[r2004-07-09 16:35:05 by cmiachon] Empty log message

Original author: cmiachon
Date: 2004-07-09 16:35:47+00:00

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

[r2004-07-09 14:35:43 by cmiachon] CQL Aggregats. min, max, sum, avg, count, member, distinct_values
todo: precise type for min max and distinct_values

Original author: cmiachon
Date: 2004-07-09 14:35:43+00:00

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

[r2004-07-08 18:24:48 by cmiachon] Empty log message

Original author: cmiachon
Date: 2004-07-08 18:24:48+00:00

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

[r2004-07-08 18:11:04 by cmiachon] Empty log message

Original author: cmiachon
Date: 2004-07-08 18:11:04+00:00

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

[r2004-07-08 18:02:09 by cmiachon] adding avg and count. todo : sum, avg, min and max, [Int+] instead of
[Int*]

Original author: cmiachon
Date: 2004-07-08 18:02:09+00:00

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

[r2004-07-08 17:40:46 by cmiachon] adding sum

Original author: cmiachon
Date: 2004-07-08 17:40:46+00:00

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

[r2004-07-08 17:26:28 by cmiachon] adding max

Original author: cmiachon
Date: 2004-07-08 17:26:28+00:00

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

[r2004-07-08 17:18:01 by cmiachon] adding min

Original author: cmiachon
Date: 2004-07-08 17:18:01+00:00

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

[r2004-07-08 17:17:31 by cmiachon] [int*]

Original author: cmiachon
Date: 2004-07-08 17:17:31+00:00

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

[r2004-07-08 17:15:32 by cmiachon] int_any

Original author: cmiachon
Date: 2004-07-08 17:15:32+00:00

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

[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: types

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

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

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

[r2004-07-06 14:27:21 by afrisch] Empty log message

Original author: afrisch
Date: 2004-07-06 14:27:22+00:00

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

[r2004-07-05 13:48:09 by afrisch] bigint

Original author: afrisch
Date: 2004-07-05 13:48:10+00:00

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

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

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

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

[r2004-07-04 09:39:28 by afrisch] Doc

Original author: afrisch
Date: 2004-07-04 09:39:29+00:00

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

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

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

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

[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 1175 - Directory Listing
Modified Tue Jul 10 18:28:29 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2004-06-28 17:33:38 by afrisch] Forgot those ones

Original author: afrisch
Date: 2004-06-28 17:33:38+00:00

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

[r2004-06-28 09:55:12 by afrisch] Get rid of cdml

Original author: afrisch
Date: 2004-06-28 09:55:12+00:00

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

[r2004-06-28 00:23:45 by afrisch] Types abstraits, unit, Any

Original author: afrisch
Date: 2004-06-28 00:23:46+00:00

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

[r2004-06-27 21:11:51 by afrisch] New ocaml interface

Original author: afrisch
Date: 2004-06-27 21:11:54+00:00

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

[r2004-05-25 15:11:58 by afrisch] Avoid loop

Original author: afrisch
Date: 2004-05-25 15:11:58+00:00

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

[r2004-05-23 11:13:58 by afrisch] Simplify idents

Original author: afrisch
Date: 2004-05-23 11:13:58+00:00

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

[r2004-05-23 11:00:56 by afrisch] Simplify idents

Original author: afrisch
Date: 2004-05-23 11:00:57+00:00

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

[r2004-05-05 23:56:31 by afrisch] Revu compilation des globals

Original author: afrisch
Date: 2004-05-05 23:56:32+00:00

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

[r2004-03-15 14:05:23 by afrisch] Replace Global ref with external ref when creating .cdo...

Original author: afrisch
Date: 2004-03-15 14:05:23+00:00

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

[r2004-03-09 22:59:09 by afrisch] meilleure gestion netclient

Original author: afrisch
Date: 2004-03-09 22:59:09+00:00

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

[r2004-02-18 22:56:51 by jdemouth] Adds star_node value interface ( needed in cdo2cmo ).

Original author: jdemouth
Date: 2004-02-18 22:56:51+00:00

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

[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 886 - Directory Listing
Modified Tue Jul 10 18:09:10 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-11-29 11:28:24 by szach] added to_string

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

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

[r2003-11-28 14:07:48 by szach] added time_kind field to value and types created when validating time
related types

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

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

[r2003-11-28 12:42:58 by szach] bugfix: s/print_xml_tf8/print_xml_utf8/

Original author: szach
Date: 2003-11-28 12:42:58+00:00

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

[r2003-11-27 11:38:56 by afrisch] Factorisation + broutilles

Original author: afrisch
Date: 2003-11-27 11:38:57+00:00

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

[r2003-11-21 12:51:15 by szach] changed rec_of_list* helpers so that they use Ns.qname instead of
string

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

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

[r2003-11-21 09:27:59 by afrisch] Opt

Original author: afrisch
Date: 2003-11-21 09:27:59+00:00

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

[r2003-11-20 11:30:02 by szach] added some Int subtypes corresponding to some XML Schema types

Original author: szach
Date: 2003-11-20 11:30:02+00:00

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

[r2003-11-18 10:35:12 by afrisch] Bug fix for <=, >=

Original author: afrisch
Date: 2003-11-18 10:35:12+00:00

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

[r2003-10-24 09:12:52 by szach] added shortand for Types.Char.any

Original author: szach
Date: 2003-10-24 09:12:52+00:00

Revision 748 - Directory Listing
Modified Tue Jul 10 18:00:36 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-10-24 09:12:21 by szach] added following operations on integers: is_zero, succ, pred, lt, gt

Original author: szach
Date: 2003-10-24 09:12:21+00:00

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

[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 713 - Directory Listing
Modified Tue Jul 10 17:58:04 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

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

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

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

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

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

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

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

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

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

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

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

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

[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: types

[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: types

[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: types

[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 656 - Directory Listing
Modified Tue Jul 10 17:51:50 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[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: types

[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 644 - Directory Listing
Modified Tue Jul 10 17:50:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-08-21 11:26:19 by cvscast] Adding example on pm compilation

Original author: cvscast
Date: 2003-08-21 11:26:19+00:00

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

[r2003-07-31 21:46:13 by cvscast] Remove optional fields from samples

Original author: cvscast
Date: 2003-07-31 21:46:14+00:00

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

[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 554 - Directory Listing
Modified Tue Jul 10 17:44:15 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[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

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

[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 551 - Directory Listing
Modified Tue Jul 10 17:43:44 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-06-30 16:35:47 by cvscast] Bug fix in typechecking print_xml

Original author: cvscast
Date: 2003-06-30 16:35:47+00:00

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

[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 533 - Directory Listing
Modified Tue Jul 10 17:42:23 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-06-26 09:10:05 by cvscast] Optim dispatch on atoms

Original author: cvscast
Date: 2003-06-26 09:10:05+00:00

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

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

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

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

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

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

Revision 487 - Directory Listing
Modified Tue Jul 10 17:38:22 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-06-08 08:43:13 by cvscast] Bug fix for operator div

Original author: cvscast
Date: 2003-06-08 08:43:13+00:00

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

[r2003-05-25 11:46:41 by cvscast] Menage

Original author: cvscast
Date: 2003-05-25 11:46:41+00:00

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

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

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

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

[r2003-05-24 19:55:27 by cvscast] Samples again

Original author: cvscast
Date: 2003-05-24 19:55:27+00:00

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

[r2003-05-24 19:42:01 by cvscast] Comments

Original author: cvscast
Date: 2003-05-24 19:42:01+00:00

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

[r2003-05-24 19:31:52 by cvscast] New sample system

Original author: cvscast
Date: 2003-05-24 19:31:53+00:00

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

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

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

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

[r2003-05-20 15:49:18 by cvscast] Pretty-printer: don't abbreviate simple types

Original author: cvscast
Date: 2003-05-20 15:49:18+00:00

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

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

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

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

[r2003-05-19 20:30:05 by cvscast] Improve pretty-printer

Original author: cvscast
Date: 2003-05-19 20:30:05+00:00

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

[r2003-05-18 20:09:17 by cvscast] Clean up

Original author: cvscast
Date: 2003-05-18 20:09:17+00:00

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

[r2003-05-18 14:42:51 by cvscast] Clean-up

Original author: cvscast
Date: 2003-05-18 14:44:17+00:00

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

[r2003-05-18 14:10:33 by cvscast] Improve pretty-printer

Original author: cvscast
Date: 2003-05-18 14:10:33+00:00

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

[r2003-05-18 13:56:14 by cvscast] Pretty-printer for sample values

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

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

[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 355 - Directory Listing
Modified Tue Jul 10 17:27:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

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

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

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

[r2003-05-11 18:16:30 by cvscast] Review identifier in lexer; removed more generic comparisons

Original author: cvscast
Date: 2003-05-11 18:16:31+00:00

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

[r2003-05-10 15:02:02 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-10 15:02:02+00:00

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

[r2003-05-10 14:44:29 by cvscast] Start Unicode support. Remove more generic comparisons

Original author: cvscast
Date: 2003-05-10 14:44:30+00:00

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

[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 287 - Directory Listing
Modified Tue Jul 10 17:22:43 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-04-04 14:09:43 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-04 14:09:45+00:00

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

[r2003-04-03 16:19:57 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-03 16:19:58+00:00

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

[r2003-04-02 12:34:22 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-02 12:34:22+00:00

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

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

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

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

[r2003-03-22 21:56:53 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 21:57:06+00:00

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

[r2003-03-22 15:32:28 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 15:32:28+00:00

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

[r2003-03-18 07:22:11 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-18 07:22:11+00:00

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

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

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

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

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

Original author: cvscast
Date: 2003-03-16 17:39:47+00:00

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

[r2003-03-16 11:35:09 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-16 11:35:09+00:00

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

[r2003-03-15 11:12:38 by cvscast] map pour les chars et les atoms

Original author: cvscast
Date: 2003-03-15 11:12:38+00:00

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

[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: types

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

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

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

[r2003-03-14 23:04:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 23:04:01+00:00

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

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

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

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

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

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

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

[r2003-03-12 19:09:30 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-12 19:09:30+00:00

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

[r2003-03-11 19:19:48 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-11 19:19:48+00:00

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

[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 230 - Directory Listing
Modified Tue Jul 10 17:17:06 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-03-10 00:14:19 by cvscast] Empty log message

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

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

[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 227 - Directory Listing
Modified Tue Jul 10 17:16:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2003-03-08 15:51:30 by cvscast] Empty log message

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

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

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

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

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

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

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

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

[r2003-03-08 03:46:23 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 03:46:23+00:00

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

[r2003-03-07 19:06:05 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-07 19:06:05+00:00

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

[r2003-03-07 17:31:04 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-07 17:31:05+00:00

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

[r2003-03-07 00:18:35 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-07 00:18:35+00:00

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

[r2003-03-06 22:23:45 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-06 22:23:45+00:00

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

[r2003-03-06 21:51:57 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-06 21:51:57+00:00

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

[r2003-03-06 13:51:30 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-06 13:51:30+00:00

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

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

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

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

[r2002-12-13 17:40:44 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-13 17:40:45+00:00

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

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

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

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

[r2002-12-03 23:32:05 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-03 23:32:05+00:00

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

[r2002-12-02 23:35:19 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-02 23:35:19+00:00

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

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

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

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

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

Original author: cvscast
Date: 2002-12-02 23:05:47+00:00

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

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

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

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

[r2002-12-01 20:52:33 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-01 20:52:33+00:00

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

[r2002-11-26 14:13:32 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-26 14:13:33+00:00

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

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

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

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

[r2002-11-25 23:59:50 by cvscast] Empty log message

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

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

[r2002-11-25 23:34:14 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-25 23:34:40+00:00

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

[r2002-11-25 23:29:46 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-25 23:29:47+00:00

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

[r2002-11-24 20:44:12 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-24 20:44:13+00:00

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

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

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

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

[r2002-11-24 16:49:22 by cvscast] Simplifications in patterns.ml

Original author: cvscast
Date: 2002-11-24 16:49:22+00:00

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

[r2002-11-24 15:35:53 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-24 15:35:54+00:00

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

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

Original author: cvscast
Date: 2002-11-20 23:20:11+00:00

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

[r2002-11-20 17:50:57 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-20 17:50:57+00:00

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

[r2002-11-16 22:17:14 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 22:17:14+00:00

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

[r2002-11-16 18:44:26 by cvscast] Empty log message

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

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

[r2002-11-16 13:27:50 by cvscast] Empty log message

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

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

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

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

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

[r2002-11-15 22:40:12 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-15 22:40:12+00:00

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

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

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

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

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

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

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

[r2002-11-10 22:53:22 by cvscast] Empty log message

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

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

[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: types

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

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

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

[r2002-11-10 12:49:51 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 12:49:51+00:00

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

[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 89 - Directory Listing
Modified Tue Jul 10 17:05:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2002-11-08 23:26:40 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-08 23:26:40+00:00

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

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

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

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

[r2002-11-02 19:24:08 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-02 19:24:09+00:00

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

[r2002-11-01 22:06:20 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-01 22:06:20+00:00

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

[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: types

[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: types

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

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

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

[r2002-10-31 17:52:39 by cvscast] Empty log message

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

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

[r2002-10-31 17:35:39 by cvscast] Empty log message

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

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

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

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

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

[r2002-10-30 02:41:41 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-30 02:41:41+00:00

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

[r2002-10-30 02:05:41 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-30 02:05:42+00:00

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

[r2002-10-30 00:12:44 by cvscast] Empty log message

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

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

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

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

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

[r2002-10-27 08:40:32 by cvscast] Optimisation for toplevel capture variables in pm compilation

Original author: cvscast
Date: 2002-10-27 08:40:32+00:00

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

[r2002-10-27 07:00:51 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-27 07:00:51+00:00

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

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

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

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

[r2002-10-26 20:45:22 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 20:45:22+00:00

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

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

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

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

[r2002-10-26 17:55:09 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 17:55:09+00:00

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

[r2002-10-26 17:37:58 by cvscast] Empty log message

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

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

[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: types

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

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

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

[r2002-10-26 01:50:52 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 01:50:52+00:00

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

[r2002-10-26 01:35:24 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 01:35:24+00:00

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

[r2002-10-25 19:16:26 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-25 19:16:27+00:00

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

[r2002-10-23 09:22:04 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-23 09:22:04+00:00

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

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

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

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

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

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

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

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

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

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

[r2002-10-20 19:55:49 by cvscast] Empty log message

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

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

[r2002-10-20 19:36:41 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 19:36:41+00:00

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

[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: types

[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: types

[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: types

[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: types

[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: types

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

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

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

[r2002-10-16 09:58:15 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-16 09:58:51+00:00

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

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

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

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

[r2002-10-15 21:01:00 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-15 21:01:35+00:00

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

[r2002-10-11 17:04:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-11 17:04:48+00:00

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

[r2002-10-10 22:29:33 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 22:29:33+00:00

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

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

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

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

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

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

Revision 2 - Directory Listing
Modified Tue Jul 10 16:56:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: types

[r2002-10-10 09:11:23 by cvscast] Initial revision

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

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

[r2002-10-10 09:11:23 by cvscast] Initial revision

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