[svn] Log of /driver

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

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

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

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

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

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

Revision 1704 - Directory Listing
Modified Tue Jul 10 19:15:46 2007 UTC (5 years, 11 months ago) by abate

[r2005-06-08 09:25:18 by afrisch] Wrong url

Original author: afrisch
Date: 2005-06-08 09:25:18+00:00

Revision 1610 - Directory Listing
Modified Tue Jul 10 19:07:15 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-30 16:19:27 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-30 16:19:27+00:00

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

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

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

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

[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 1549 - Directory Listing
Modified Tue Jul 10 19:01:47 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-11 12:29:13 by afrisch] Bug introduced with syntax modif for records

Original author: afrisch
Date: 2005-03-11 12:29:13+00:00

Revision 1538 - Directory Listing
Modified Tue Jul 10 19:01:06 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-09 16:26:51 by afrisch] dtd2cduce as a cgi-bin

Original author: afrisch
Date: 2005-03-09 16:26:51+00:00

Revision 1520 - Directory Listing
Modified Tue Jul 10 18:59:04 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-06 16:13:08 by afrisch] New syntax for record types/patterns

Original author: afrisch
Date: 2005-03-06 16:13:08+00:00

Revision 1517 - Directory Listing
Modified Tue Jul 10 18:58:43 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-06 13:14:32 by afrisch] #help

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

Revision 1507 - Directory Listing
Modified Tue Jul 10 18:57:56 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-04 15:26:27 by afrisch] #builtins directive

Original author: afrisch
Date: 2005-03-04 15:26:28+00:00

Revision 1500 - Directory Listing
Modified Tue Jul 10 18:57:01 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-04 13:10:27 by afrisch] Prepare for 0.2.3

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

Revision 1498 - Directory Listing
Modified Tue Jul 10 18:56:46 2007 UTC (5 years, 11 months ago) by abate

[r2005-03-04 12:16:06 by afrisch] oublis

Original author: afrisch
Date: 2005-03-04 12:16:06+00:00

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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 1474 - Directory Listing
Modified Tue Jul 10 18:53:27 2007 UTC (5 years, 11 months ago) by abate

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

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

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

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

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

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

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

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

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

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

[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 1432 - Directory Listing
Modified Tue Jul 10 18:49:15 2007 UTC (5 years, 11 months ago) by abate

[r2005-01-18 14:34:15 by afrisch] Error location with --stdin

Original author: afrisch
Date: 2005-01-18 14:34:15+00:00

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

[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 1413 - Directory Listing
Modified Tue Jul 10 18:47:42 2007 UTC (5 years, 11 months ago) by abate

[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, 11 months ago) by abate

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

[r2005-01-03 15:57:23 by afrisch] Empty log message

Original author: afrisch
Date: 2005-01-03 15:57:23+00:00

Revision 1404 - Directory Listing
Modified Tue Jul 10 18:46:42 2007 UTC (5 years, 11 months ago) by abate

[r2005-01-03 15:10:20 by afrisch] Doc

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

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

[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, 11 months ago) by abate

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

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

Revision 1394 - Directory Listing
Modified Tue Jul 10 18:45:23 2007 UTC (5 years, 11 months ago) by abate

[r2004-12-30 00:30:19 by afrisch] --script, punning

Original author: afrisch
Date: 2004-12-30 00:30:19+00:00

Revision 1386 - Directory Listing
Modified Tue Jul 10 18:44:48 2007 UTC (5 years, 11 months ago) by abate

[r2004-12-28 01:10:06 by afrisch] Demo

Original author: afrisch
Date: 2004-12-28 01:13:33+00:00

Revision 1385 - Directory Listing
Modified Tue Jul 10 18:44:41 2007 UTC (5 years, 11 months ago) by abate

[r2004-12-28 01:01:28 by afrisch] Demo

Original author: afrisch
Date: 2004-12-28 01:03:52+00:00

Revision 1383 - Directory Listing
Modified Tue Jul 10 18:44:28 2007 UTC (5 years, 11 months ago) by abate

[r2004-12-28 00:27:55 by afrisch] evalutor + demo

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

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

[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, 11 months ago) by abate

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

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

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

[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, 11 months ago) by abate

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

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

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

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

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

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

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

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

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

[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, 11 months ago) by abate

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

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

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

[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, 11 months ago) by abate

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

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

Revision 1306 - Directory Listing
Modified Tue Jul 10 18:38:47 2007 UTC (5 years, 11 months ago) by abate

[r2004-10-23 14:48:59 by afrisch] Empty log message

Original author: afrisch
Date: 2004-10-23 14:48:59+00:00

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

[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 1239 - Directory Listing
Modified Tue Jul 10 18:34:02 2007 UTC (5 years, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

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

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

Revision 1192 - Directory Listing
Modified Tue Jul 10 18:30:10 2007 UTC (5 years, 11 months ago) by abate

[r2004-07-03 09:03:13 by afrisch] Reorder usage info

Original author: afrisch
Date: 2004-07-03 09:03:13+00:00

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

[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, 11 months ago) by abate

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

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

Revision 1188 - Directory Listing
Modified Tue Jul 10 18:29:40 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-29 23:32:23 by afrisch] Inhibitable features

Original author: afrisch
Date: 2004-06-29 23:32:34+00:00

Revision 1187 - Directory Listing
Modified Tue Jul 10 18:29:32 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-29 23:06:06 by afrisch] Cleanup. Remove options --pxp and --expat

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

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

[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, 11 months ago) by abate

[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 1163 - Directory Listing
Modified Tue Jul 10 18:27:24 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-28 09:02:17 by afrisch] MD5 checksum for dynlinked code

Original author: afrisch
Date: 2004-06-28 09:02:17+00:00

Revision 1162 - Directory Listing
Modified Tue Jul 10 18:27:18 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-28 04:51:58 by afrisch] -static

Original author: afrisch
Date: 2004-06-28 04:51:59+00:00

Revision 1161 - Directory Listing
Modified Tue Jul 10 18:27:10 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-28 03:54:06 by afrisch] Empty log message

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

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

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

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

Revision 1152 - Directory Listing
Modified Tue Jul 10 18:26:20 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-28 01:16:40 by afrisch] Fix capture in stub gen, registered types, functions

Original author: afrisch
Date: 2004-06-28 01:16:40+00:00

Revision 1147 - Directory Listing
Modified Tue Jul 10 18:25:50 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-27 21:52:53 by afrisch] Error message

Original author: afrisch
Date: 2004-06-27 21:52:53+00:00

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

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

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

Revision 1138 - Directory Listing
Modified Tue Jul 10 18:25:03 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-25 13:38:27 by afrisch] Report inconsistent assumptions on .cmi

Original author: afrisch
Date: 2004-06-25 13:38:27+00:00

Revision 1137 - Directory Listing
Modified Tue Jul 10 18:25:00 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-25 13:34:21 by afrisch] Does not hide Not_found raised by find_node

Original author: afrisch
Date: 2004-06-25 13:34:21+00:00

Revision 1136 - Directory Listing
Modified Tue Jul 10 18:24:57 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-25 12:37:19 by afrisch] Another lowercase issue

Original author: afrisch
Date: 2004-06-25 12:37:20+00:00

Revision 1135 - Directory Listing
Modified Tue Jul 10 18:24:51 2007 UTC (5 years, 11 months ago) by abate

[r2004-06-25 12:24:30 by afrisch] Generate lowercase .ml

Original author: afrisch
Date: 2004-06-25 12:24:30+00:00

Revision 1110 - Directory Listing
Modified Tue Jul 10 18:23:33 2007 UTC (5 years, 11 months ago) by abate

[r2004-05-25 09:57:31 by afrisch] Doc currified funs

Original author: afrisch
Date: 2004-05-25 09:57:31+00:00

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

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

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

Revision 1105 - Directory Listing
Modified Tue Jul 10 18:23:04 2007 UTC (5 years, 11 months ago) by abate

[r2004-05-16 13:00:13 by jdemouth] Desole pour l'oubli

Original author: jdemouth
Date: 2004-05-16 13:00:13+00:00

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

[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 1096 - Directory Listing
Modified Tue Jul 10 18:22:13 2007 UTC (5 years, 11 months ago) by abate

[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 1073 - Directory Listing
Modified Tue Jul 10 18:20:48 2007 UTC (5 years, 11 months ago) by abate

[r2004-04-21 07:35:38 by afrisch] Empty log message

Original author: afrisch
Date: 2004-04-21 07:35:38+00:00

Revision 1055 - Directory Listing
Modified Tue Jul 10 18:19:44 2007 UTC (5 years, 11 months ago) by abate

[r2004-03-16 14:20:55 by jdemouth] Nouveaux messages.

Original author: jdemouth
Date: 2004-03-16 14:20:55+00:00

Revision 1053 - Directory Listing
Modified Tue Jul 10 18:19:38 2007 UTC (5 years, 11 months ago) by abate

[r2004-03-15 14:39:40 by afrisch] Accessing globals during evaluation...

Original author: afrisch
Date: 2004-03-15 14:39:40+00:00

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

[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 1032 - Directory Listing
Modified Tue Jul 10 18:18:24 2007 UTC (5 years, 11 months ago) by abate

[r2004-03-11 13:33:19 by jdemouth] Ajout de l'option -I a l'interface.

Original author: jdemouth
Date: 2004-03-11 13:33:19+00:00

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

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

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

Revision 1019 - Directory Listing
Modified Tue Jul 10 18:17:39 2007 UTC (5 years, 11 months ago) by abate

[r2004-03-09 20:13:34 by jdemouth] Add ocaml interface to cduce compiler.

Original author: jdemouth
Date: 2004-03-09 20:14:57+00:00

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

[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 928 - Directory Listing
Modified Tue Jul 10 18:12:07 2007 UTC (5 years, 11 months ago) by abate

[r2003-12-15 08:34:15 by afrisch] Menage

Original author: afrisch
Date: 2003-12-15 08:34:15+00:00

Revision 926 - Directory Listing
Modified Tue Jul 10 18:12:01 2007 UTC (5 years, 11 months ago) by abate

[r2003-12-13 13:51:19 by afrisch] Factorization + --verbose

Original author: afrisch
Date: 2003-12-13 13:51:20+00:00

Revision 925 - Directory Listing
Modified Tue Jul 10 18:11:48 2007 UTC (5 years, 11 months ago) by abate

[r2003-12-12 23:18:23 by afrisch] Cleaning

Original author: afrisch
Date: 2003-12-12 23:18:23+00:00

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

[r2003-12-12 22:59:37 by afrisch] Cleaning: remove old evaluator

Original author: afrisch
Date: 2003-12-12 22:59:38+00:00

Revision 905 - Directory Listing
Modified Tue Jul 10 18:10:27 2007 UTC (5 years, 11 months ago) by abate

[r2003-12-03 11:36:30 by beppe] CURL support option added

Original author: beppe
Date: 2003-12-03 11:36:30+00:00

Revision 817 - Directory Listing
Modified Tue Jul 10 18:05:21 2007 UTC (5 years, 11 months ago) by abate

[r2003-11-25 09:27:34 by cmiachon] nothing -

Original author: cmiachon
Date: 2003-11-25 09:27:35+00:00

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

[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 798 - Directory Listing
Modified Tue Jul 10 18:03:55 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 792 - Directory Listing
Modified Tue Jul 10 18:03:30 2007 UTC (5 years, 11 months ago) by abate

[r2003-11-20 13:33:33 by afrisch] Bug fix: file name in error messages for included files

Original author: afrisch
Date: 2003-11-20 13:33:33+00:00

Revision 788 - Directory Listing
Modified Tue Jul 10 18:03:13 2007 UTC (5 years, 11 months ago) by abate

[r2003-11-20 11:41:50 by szach] added support and help for #print_{schema,type}

Original author: szach
Date: 2003-11-20 11:41:50+00:00

Revision 751 - Directory Listing
Modified Tue Jul 10 18:00:46 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-24 09:18:06 by szach] added help for #dump_value

Original author: szach
Date: 2003-10-24 09:18:06+00:00

Revision 746 - Directory Listing
Modified Tue Jul 10 18:00:28 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-24 09:10:24 by szach] added a flag to decide whether to catch exceptions in toplevel or not

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

Revision 724 - Directory Listing
Modified Tue Jul 10 17:59:00 2007 UTC (5 years, 11 months ago) by abate

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

Original author: cvscast
Date: 2003-10-13 20:21:54+00:00

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

[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 721 - Directory Listing
Modified Tue Jul 10 17:58:37 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-10 21:04:17 by cvscast] Beppe: bugfix

Original author: cvscast
Date: 2003-10-10 21:04:17+00:00

Revision 719 - Directory Listing
Modified Tue Jul 10 17:58:30 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-10 20:20:24 by cvscast] Beppe: added option -o that allows to specify the output file of the
compilation

Original author: cvscast
Date: 2003-10-10 20:20:25+00:00

Revision 717 - Directory Listing
Modified Tue Jul 10 17:58:20 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-10 09:46:15 by cvscast] Beppe: correct a bug on suffix that made make webpages fail

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

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

[r2003-10-10 09:41:21 by cvscast] Beppe: correct a bug on suffix that made make webpages fail

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

Revision 715 - Directory Listing
Modified Tue Jul 10 17:58:14 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-10 09:37:19 by cvscast] Empty log message

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

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

[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, 11 months ago) by abate

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

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

Revision 707 - Directory Listing
Modified Tue Jul 10 17:57:21 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-07 21:53:15 by cvscast] Beppe: now --compile generates a .cdo rather than .cd.out file

Original author: cvscast
Date: 2003-10-07 21:53:15+00:00

Revision 702 - Directory Listing
Modified Tue Jul 10 17:56:56 2007 UTC (5 years, 11 months ago) by abate

[r2003-10-06 07:52:41 by cvscast] added #help directive to the toplevel

Original author: cvscast
Date: 2003-10-06 07:52:42+00:00

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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 688 - Directory Listing
Modified Tue Jul 10 17:54:43 2007 UTC (5 years, 11 months ago) by abate

[r2003-09-26 08:45:48 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-26 08:45:48+00:00

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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 668 - Directory Listing
Modified Tue Jul 10 17:52:43 2007 UTC (5 years, 11 months ago) by abate

[r2003-09-23 00:15:07 by cvscast] Passage lexer

Original author: cvscast
Date: 2003-09-23 00:16:26+00:00

Revision 665 - Directory Listing
Modified Tue Jul 10 17:52:26 2007 UTC (5 years, 11 months ago) by abate

[r2003-09-19 23:31:03 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-19 23:31:03+00:00

Revision 663 - Directory Listing
Modified Tue Jul 10 17:52:18 2007 UTC (5 years, 11 months ago) by abate

[r2003-09-19 23:26:18 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-19 23:26:18+00:00

Revision 662 - Directory Listing
Modified Tue Jul 10 17:52:15 2007 UTC (5 years, 11 months ago) by abate

[r2003-09-19 23:07:01 by cvscast] Beppe: changed the help message for CDuce without expat support

Original author: cvscast
Date: 2003-09-19 23:07:01+00:00

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

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

[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 641 - Directory Listing
Modified Tue Jul 10 17:50:02 2007 UTC (5 years, 11 months ago) by abate

[r2003-08-15 10:35:24 by cvscast] Improve error message in sequences

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

Revision 638 - Directory Listing
Modified Tue Jul 10 17:49:51 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-30 13:53:12 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-30 13:53:12+00:00

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

[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 636 - Directory Listing
Modified Tue Jul 10 17:49:42 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-29 14:33:46 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-29 14:33:46+00:00

Revision 635 - Directory Listing
Modified Tue Jul 10 17:49:38 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-29 14:20:20 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-29 14:20:20+00:00

Revision 631 - Directory Listing
Modified Tue Jul 10 17:49:26 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-28 11:43:45 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-28 11:43:45+00:00

Revision 622 - Directory Listing
Modified Tue Jul 10 17:48:36 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-24 13:21:32 by cvscast] Bug in pretty printing exceptions in the web interface

Original author: cvscast
Date: 2003-07-24 13:21:32+00:00

Revision 562 - Directory Listing
Modified Tue Jul 10 17:44:58 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-03 17:56:51 by cvscast] Release 0.0.92

Original author: cvscast
Date: 2003-07-03 17:56:52+00:00

Revision 561 - Directory Listing
Modified Tue Jul 10 17:44:49 2007 UTC (5 years, 11 months ago) by abate

[r2003-07-03 15:45:00 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-03 15:45:01+00:00

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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 541 - Directory Listing
Modified Tue Jul 10 17:42:53 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-29 14:41:57 by cvscast] Bug fix in webiface \ SESSION_DIR in Makefile

Original author: cvscast
Date: 2003-06-29 14:41:58+00:00

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

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

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

Revision 525 - Directory Listing
Modified Tue Jul 10 17:41:34 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-17 20:39:07 by cvscast] Don't autodetect non-terminal stdint (prevent using ledit); add
--stdin option -- Alain

Original author: cvscast
Date: 2003-06-17 20:39:08+00:00

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

[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 502 - Directory Listing
Modified Tue Jul 10 17:39:52 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-12 13:30:29 by cvscast] Pretty-printer

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

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

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

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

Revision 495 - Directory Listing
Modified Tue Jul 10 17:39:02 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-09 09:09:58 by cvscast] Synchro on errors -- Alain

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

Revision 492 - Directory Listing
Modified Tue Jul 10 17:38:45 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-08 23:38:19 by cvscast] Beppe: typos in run.ml. Updated manual page

Original author: cvscast
Date: 2003-06-08 23:38:19+00:00

Revision 488 - Directory Listing
Modified Tue Jul 10 17:38:30 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-08 08:54:55 by cvscast] Getting rid of ;; and let fun in manual

Original author: cvscast
Date: 2003-06-08 08:57:28+00:00

Revision 485 - Directory Listing
Modified Tue Jul 10 17:38:14 2007 UTC (5 years, 11 months ago) by abate

[r2003-06-08 08:33:52 by cvscast] Clean load_xml

Original author: cvscast
Date: 2003-06-08 08:34:36+00:00

Revision 466 - Directory Listing
Modified Tue Jul 10 17:36:47 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-31 10:32:42 by cvscast] support for expat

Original author: cvscast
Date: 2003-05-31 10:32:43+00:00

Revision 450 - Directory Listing
Modified Tue Jul 10 17:35:49 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-26 22:11:24 by cvscast] get rid of Cduce_config

Original author: cvscast
Date: 2003-05-26 22:11:25+00:00

Revision 447 - Directory Listing
Modified Tue Jul 10 17:35:35 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-26 20:36:58 by cvscast] toplevel et commentaire pour faire plaisir eppe ;-)

Original author: cvscast
Date: 2003-05-26 20:36:58+00:00

Revision 446 - Directory Listing
Modified Tue Jul 10 17:35:30 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-26 19:54:58 by cvscast] toplevel: Ctrl-D, Ctrl-C, #quit, #env

Original author: cvscast
Date: 2003-05-26 19:54:59+00:00

Revision 438 - Directory Listing
Modified Tue Jul 10 17:34:59 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-25 22:15:42 by cvscast] Beppe: added /tmp directory to sessions dirs so that it works on all
architectures

Original author: cvscast
Date: 2003-05-25 22:15:42+00:00

Revision 433 - Directory Listing
Modified Tue Jul 10 17:34:42 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-25 17:58:11 by cvscast] Display toplevel

Original author: cvscast
Date: 2003-05-25 18:04:13+00:00

Revision 432 - Directory Listing
Modified Tue Jul 10 17:34:31 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-25 17:26:23 by cvscast] Doc

Original author: cvscast
Date: 2003-05-25 17:26:23+00:00

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

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

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

Revision 429 - Directory Listing
Modified Tue Jul 10 17:34:02 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-25 13:33:40 by cvscast] cduce_config

Original author: cvscast
Date: 2003-05-25 13:33:41+00:00

Revision 423 - Directory Listing
Modified Tue Jul 10 17:33:34 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-25 11:12:58 by cvscast] Display of samples

Original author: cvscast
Date: 2003-05-25 11:13:31+00:00

Revision 422 - Directory Listing
Modified Tue Jul 10 17:33:29 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-25 10:40:12 by cvscast] Typos

Original author: cvscast
Date: 2003-05-25 10:40:12+00:00

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

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

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

Revision 414 - Directory Listing
Modified Tue Jul 10 17:32:50 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-24 22:27:34 by cvscast] Beppe: added options and modified so to have gnu-syntax

Original author: cvscast
Date: 2003-05-24 22:27:34+00:00

Revision 412 - Directory Listing
Modified Tue Jul 10 17:32:43 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-24 20:35:15 by cvscast] Manual

Original author: cvscast
Date: 2003-05-24 20:35:15+00:00

Revision 410 - Directory Listing
Modified Tue Jul 10 17:32:36 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-24 19:59:19 by cvscast] Cosmetique

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

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

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

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

Revision 403 - Directory Listing
Modified Tue Jul 10 17:31:56 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-24 08:08:41 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-24 08:08:41+00:00

Revision 389 - Directory Listing
Modified Tue Jul 10 17:30:57 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-21 22:14:48 by cvscast] Manual

Original author: cvscast
Date: 2003-05-21 22:14:48+00:00

Revision 375 - Directory Listing
Modified Tue Jul 10 17:29:53 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-20 13:58:26 by cvscast] Empty log message

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

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

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

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

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

[r2003-05-18 20:07:55 by cvscast] Preparation for a public release

Original author: cvscast
Date: 2003-05-18 20:07:56+00:00

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

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

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

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

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

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

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

[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 359 - Directory Listing
Modified Tue Jul 10 17:27:59 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-15 21:59:13 by cvscast] Modified list of pointers in the webpage Beppe

Original author: cvscast
Date: 2003-05-15 21:59:13+00:00

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

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

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

Revision 348 - Directory Listing
Modified Tue Jul 10 17:27:12 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-14 21:01:17 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-14 21:02:06+00:00

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

[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 322 - Directory Listing
Modified Tue Jul 10 17:25:07 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-10 22:41:35 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-10 22:43:28+00:00

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

[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 315 - Directory Listing
Modified Tue Jul 10 17:24:33 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-10 17:56:28 by cvscast] Detect unused branches

Original author: cvscast
Date: 2003-05-10 17:56:28+00:00

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

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

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

Revision 308 - Directory Listing
Modified Tue Jul 10 17:23:52 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-09 21:27:28 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-09 21:27:28+00:00

Revision 306 - Directory Listing
Modified Tue Jul 10 17:23:46 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 302 - Directory Listing
Modified Tue Jul 10 17:23:34 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-09 10:09:30 by cvscast] Empty log message

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

Revision 301 - Directory Listing
Modified Tue Jul 10 17:23:28 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-09 08:03:53 by cvscast] forget previous input when in session mode

Original author: cvscast
Date: 2003-05-09 08:03:53+00:00

Revision 296 - Directory Listing
Modified Tue Jul 10 17:23:11 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-08 16:21:53 by cvscast] removed a zack's specific path

Original author: cvscast
Date: 2003-05-08 16:21:53+00:00

Revision 295 - Directory Listing
Modified Tue Jul 10 17:23:08 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-08 16:02:38 by cvscast] - added "Clear" and "Revert changes" buttons

- remember submitted CDuce code even when no errors are found

Original author: cvscast
Date: 2003-05-08 16:02:38+00:00

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

[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 293 - Directory Listing
Modified Tue Jul 10 17:23:02 2007 UTC (5 years, 11 months ago) by abate

[r2003-05-07 21:20:04 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-07 21:20:04+00:00

Revision 289 - Directory Listing
Modified Tue Jul 10 17:22:51 2007 UTC (5 years, 11 months ago) by abate

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

Original author: cvscast
Date: 2003-04-04 14:43:36+00:00

Revision 288 - Directory Listing
Modified Tue Jul 10 17:22:48 2007 UTC (5 years, 11 months ago) by abate

[r2003-04-04 14:35:47 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-04 14:35:48+00:00

Revision 286 - Directory Listing
Modified Tue Jul 10 17:22:36 2007 UTC (5 years, 11 months ago) by abate

[r2003-04-04 13:47:56 by cvscast] Empty log message

Original author: cvscast
Date: 2003-04-04 13:47:56+00:00

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

[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, 11 months ago) by abate

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

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

Revision 261 - Directory Listing
Modified Tue Jul 10 17:20:22 2007 UTC (5 years, 11 months ago) by abate

[r2003-03-16 22:19:31 by cvscast] Empty log message

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

Revision 255 - Directory Listing
Modified Tue Jul 10 17:19:45 2007 UTC (5 years, 11 months ago) by abate

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

Original author: cvscast
Date: 2003-03-16 19:12:01+00:00

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

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

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

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

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

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

Revision 217 - Directory Listing
Modified Tue Jul 10 17:15:25 2007 UTC (5 years, 11 months ago) by abate

[r2003-02-17 21:51:52 by cvscast] Empty log message

Original author: cvscast
Date: 2003-02-17 21:51:53+00:00

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

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

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

Revision 183 - Directory Listing
Modified Tue Jul 10 17:13:13 2007 UTC (5 years, 11 months ago) by abate

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

Original author: cvscast
Date: 2002-12-11 22:33:41+00:00

Revision 173 - Directory Listing
Modified Tue Jul 10 17:12:36 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 164 - Directory Listing
Modified Tue Jul 10 17:11:50 2007 UTC (5 years, 11 months ago) by abate

[r2002-12-02 16:56:43 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-02 16:59:09+00:00

Revision 161 - Directory Listing
Modified Tue Jul 10 17:11:37 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-26 22:03:16 by cvscast] Empty log message

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

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

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

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

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

[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, 11 months ago) by abate

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

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

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

[r2002-11-25 13:54:34 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-25 13:54:35+00:00

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

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

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

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

[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, 11 months ago) by abate

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

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

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

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

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

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

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

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

Revision 129 - Directory Listing
Modified Tue Jul 10 17:08:54 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-16 11:03:56 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 11:03:57+00:00

Revision 128 - Directory Listing
Modified Tue Jul 10 17:08:48 2007 UTC (5 years, 11 months ago) by abate

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

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

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

[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, 11 months ago) by abate

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

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

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

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

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

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

[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, 11 months ago) by abate

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

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

Original author: cvscast
Date: 2002-11-10 16:20:52+00:00

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

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

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

Revision 104 - Directory Listing
Modified Tue Jul 10 17:06:28 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 103 - Directory Listing
Modified Tue Jul 10 17:06:24 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-10 13:45:59 by cvscast] Empty log message

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

Revision 102 - Directory Listing
Modified Tue Jul 10 17:06:21 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-10 13:12:27 by cvscast] Empty log message

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

Revision 101 - Directory Listing
Modified Tue Jul 10 17:06:18 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 100 - Directory Listing
Modified Tue Jul 10 17:06:14 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-10 12:56:43 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 12:56:43+00:00

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

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

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

Revision 98 - Directory Listing
Modified Tue Jul 10 17:06:05 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 97 - Directory Listing
Modified Tue Jul 10 17:06:02 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-10 04:26:26 by cvscast] Empty log message

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

Revision 96 - Directory Listing
Modified Tue Jul 10 17:05:59 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-10 02:31:52 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 02:31:52+00:00

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

[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 94 - Directory Listing
Modified Tue Jul 10 17:05:43 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 93 - Directory Listing
Modified Tue Jul 10 17:05:39 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-09 18:52:43 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-09 18:53:51+00:00

Revision 92 - Directory Listing
Modified Tue Jul 10 17:05:32 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-09 18:43:47 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-09 18:43:48+00:00

Revision 91 - Directory Listing
Modified Tue Jul 10 17:05:27 2007 UTC (5 years, 11 months ago) by abate

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

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

Revision 90 - Directory Listing
Modified Tue Jul 10 17:05:20 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-09 10:42:14 by cvscast] Empty log message

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

Revision 81 - Directory Listing
Modified Tue Jul 10 17:04:39 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-07 00:58:53 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-07 00:58:54+00:00

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

[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, 11 months ago) by abate

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

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

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

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

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

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

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

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

Revision 70 - Directory Listing
Modified Tue Jul 10 17:03:19 2007 UTC (5 years, 11 months ago) by abate

[r2002-11-01 12:53:44 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-01 12:53:45+00:00

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

[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, 11 months ago) by abate

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

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

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

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

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

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

[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 52 - Directory Listing
Modified Tue Jul 10 17:01:20 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-26 20:45:22 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 20:45:22+00:00

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

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

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

Revision 43 - Directory Listing
Modified Tue Jul 10 17:00:25 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-26 01:35:24 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 01:35:24+00:00

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

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

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

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

[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, 11 months ago) by abate

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

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

Revision 25 - Directory Listing
Modified Tue Jul 10 16:59:02 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-20 21:38:35 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 21:38:36+00:00

Revision 23 - Directory Listing
Modified Tue Jul 10 16:58:54 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-20 20:01:53 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 20:01:53+00:00

Revision 22 - Directory Listing
Modified Tue Jul 10 16:58:50 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-20 19:55:49 by cvscast] Empty log message

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

Revision 21 - Directory Listing
Modified Tue Jul 10 16:58:44 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-20 19:49:59 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-20 19:49:59+00:00

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

[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, 11 months ago) by abate

[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, 11 months ago) by abate

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

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

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

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

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

Revision 10 - Directory Listing
Added Tue Jul 10 16:57:27 2007 UTC (5 years, 11 months ago) by abate

[r2002-10-15 21:01:00 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-15 21:01:35+00:00