Log of /driver/run.ml
Parent Directory
|
Revision Log
Revision
1187 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:29:32 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 6240 byte(s)
Diff to
previous 1097
[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
1097 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:22:27 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7006 byte(s)
Diff to
previous 1023
[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
1023 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:17:58 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7050 byte(s)
Diff to
previous 1019
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:17:39 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 6983 byte(s)
Diff to
previous 928
[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
928 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:12:07 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 6825 byte(s)
Diff to
previous 926
[r2003-12-15 08:34:15 by afrisch] Menage
Original author: afrisch
Date: 2003-12-15 08:34:15+00:00
Revision
926 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:12:01 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7246 byte(s)
Diff to
previous 925
[r2003-12-13 13:51:19 by afrisch] Factorization + --verbose
Original author: afrisch
Date: 2003-12-13 13:51:20+00:00
Revision
925 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:11:48 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7257 byte(s)
Diff to
previous 905
[r2003-12-12 23:18:23 by afrisch] Cleaning
Original author: afrisch
Date: 2003-12-12 23:18:23+00:00
Revision
905 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:10:27 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7459 byte(s)
Diff to
previous 817
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 18:05:21 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7392 byte(s)
Diff to
previous 723
[r2003-11-25 09:27:34 by cmiachon] nothing -
Original author: cmiachon
Date: 2003-11-25 09:27:35+00:00
Revision
723 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:58:57 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7276 byte(s)
Diff to
previous 721
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:58:37 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7127 byte(s)
Diff to
previous 719
[r2003-10-10 21:04:17 by cvscast] Beppe: bugfix
Original author: cvscast
Date: 2003-10-10 21:04:17+00:00
Revision
719 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:58:30 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 7127 byte(s)
Diff to
previous 707
[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
707 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:57:21 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 6662 byte(s)
Diff to
previous 698
[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
698 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:56:40 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 6659 byte(s)
Diff to
previous 692
[r2003-10-04 02:00:15 by cvscast] Compilation + serialization
Original author: cvscast
Date: 2003-10-04 02:01:37+00:00
Revision
692 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:55:30 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5449 byte(s)
Diff to
previous 691
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:55:19 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5368 byte(s)
Diff to
previous 677
[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
677 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:53:53 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5241 byte(s)
Diff to
previous 672
[r2003-09-24 23:21:08 by cvscast] Cleaning
Original author: cvscast
Date: 2003-09-24 23:21:10+00:00
Revision
672 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:53:24 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5055 byte(s)
Diff to
previous 668
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:52:43 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5245 byte(s)
Diff to
previous 665
[r2003-09-23 00:15:07 by cvscast] Passage lexer
Original author: cvscast
Date: 2003-09-23 00:16:26+00:00
Revision
665 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:52:26 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5241 byte(s)
Diff to
previous 663
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:52:18 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5320 byte(s)
Diff to
previous 662
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:52:15 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 5133 byte(s)
Diff to
previous 525
[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
525 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:41:34 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 4811 byte(s)
Diff to
previous 492
[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
492 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:38:45 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 4673 byte(s)
Diff to
previous 485
[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
485 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:38:14 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 4673 byte(s)
Diff to
previous 466
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:36:47 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 4093 byte(s)
Diff to
previous 450
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:35:49 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 3962 byte(s)
Diff to
previous 447
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:35:35 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 3990 byte(s)
Diff to
previous 446
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:35:30 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 3937 byte(s)
Diff to
previous 432
[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
432 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:34:31 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 3267 byte(s)
Diff to
previous 431
[r2003-05-25 17:26:23 by cvscast] Doc
Original author: cvscast
Date: 2003-05-25 17:26:23+00:00
Revision
431 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:34:25 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 3287 byte(s)
Diff to
previous 429
[r2003-05-25 16:53:21 by cvscast] toplevel
Original author: cvscast
Date: 2003-05-25 16:53:22+00:00
Revision
429 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:34:02 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 2854 byte(s)
Diff to
previous 422
[r2003-05-25 13:33:40 by cvscast] cduce_config
Original author: cvscast
Date: 2003-05-25 13:33:41+00:00
Revision
422 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:33:29 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 2749 byte(s)
Diff to
previous 414
[r2003-05-25 10:40:12 by cvscast] Typos
Original author: cvscast
Date: 2003-05-25 10:40:12+00:00
Revision
414 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:32:50 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 2749 byte(s)
Diff to
previous 403
[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
403 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:31:56 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 2291 byte(s)
Diff to
previous 374
[r2003-05-24 08:08:41 by cvscast] Empty log message
Original author: cvscast
Date: 2003-05-24 08:08:41+00:00
Revision
374 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:29:46 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 2249 byte(s)
Diff to
previous 368
[r2003-05-20 13:27:25 by cvscast] Unicode support
Original author: cvscast
Date: 2003-05-20 13:27:27+00:00
Revision
368 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:28:55 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 2222 byte(s)
Diff to
previous 367
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:28:43 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1721 byte(s)
Diff to
previous 302
[r2003-05-18 14:42:51 by cvscast] Clean-up
Original author: cvscast
Date: 2003-05-18 14:44:17+00:00
Revision
302 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:23:34 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1746 byte(s)
Diff to
previous 249
[r2003-05-09 10:09:30 by cvscast] Empty log message
Original author: cvscast
Date: 2003-05-09 10:09:31+00:00
Revision
249 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:19:14 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1561 byte(s)
Diff to
previous 217
[r2003-03-16 14:05:39 by cvscast] Empty log message
Original author: cvscast
Date: 2003-03-16 14:08:16+00:00
Revision
217 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:15:25 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1560 byte(s)
Diff to
previous 186
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:13:28 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1570 byte(s)
Diff to
previous 125
[r2002-12-13 17:40:44 by cvscast] Empty log message
Original author: cvscast
Date: 2002-12-13 17:40:45+00:00
Revision
125 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:08:25 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1544 byte(s)
Diff to
previous 124
[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 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:08:19 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1514 byte(s)
Diff to
previous 95
[r2002-11-13 23:21:38 by cvscast] Empty log message
Original author: cvscast
Date: 2002-11-13 23:21:39+00:00
Revision
95 -
(
view)
(
annotate)
-
[select for diffs]
Modified
Tue Jul 10 17:05:54 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 1292 byte(s)
Diff to
previous 90
[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
90 -
(
view)
(
annotate)
-
[select for diffs]
Added
Tue Jul 10 17:05:20 2007 UTC
(5 years, 10 months ago)
by
abate
File length: 345 byte(s)
[r2002-11-09 10:42:14 by cvscast] Empty log message
Original author: cvscast
Date: 2002-11-09 10:42:16+00:00
This form allows you to request diffs between any two revisions of this file.
For each of the two "sides" of the diff,
enter a numeric revision.