[svn] Log of /driver/cduce.mli

Revision 1746 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:19:37 2007 UTC (5 years, 11 months ago) by abate
File length: 563 byte(s)
Diff to previous 1495

[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 1495 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:55:50 2007 UTC (5 years, 11 months ago) by abate
File length: 562 byte(s)
Diff to previous 1443

[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 1443 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:50:20 2007 UTC (5 years, 11 months ago) by abate
File length: 570 byte(s)
Diff to previous 1383

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

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

Revision 1383 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:44:28 2007 UTC (5 years, 11 months ago) by abate
File length: 514 byte(s)
Diff to previous 1215

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

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

Revision 1215 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:31:55 2007 UTC (5 years, 11 months ago) by abate
File length: 489 byte(s)
Diff to previous 1136

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

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

Revision 1136 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:24:57 2007 UTC (5 years, 11 months ago) by abate
File length: 389 byte(s)
Diff to previous 1107

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

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

Revision 1107 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:23:19 2007 UTC (5 years, 11 months ago) by abate
File length: 341 byte(s)
Diff to previous 1097

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

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

Revision 1097 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:22:27 2007 UTC (5 years, 11 months ago) by abate
File length: 266 byte(s)
Diff to previous 926

[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 926 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:12:01 2007 UTC (5 years, 11 months ago) by abate
File length: 433 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, 11 months ago) by abate
File length: 411 byte(s)
Diff to previous 924

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

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

Revision 924 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:11:42 2007 UTC (5 years, 11 months ago) by abate
File length: 431 byte(s)
Diff to previous 817

[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 817 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:05:21 2007 UTC (5 years, 11 months ago) by abate
File length: 458 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, 11 months ago) by abate
File length: 456 byte(s)
Diff to previous 719

[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 719 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:30 2007 UTC (5 years, 11 months ago) by abate
File length: 449 byte(s)
Diff to previous 713

[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 713 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:04 2007 UTC (5 years, 11 months ago) by abate
File length: 439 byte(s)
Diff to previous 698

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

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

Revision 698 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:56:40 2007 UTC (5 years, 11 months ago) by abate
File length: 552 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, 11 months ago) by abate
File length: 445 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, 11 months ago) by abate
File length: 420 byte(s)
Diff to previous 446

[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 446 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:35:30 2007 UTC (5 years, 11 months ago) by abate
File length: 307 byte(s)
Diff to previous 431

[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 431 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:34:25 2007 UTC (5 years, 11 months ago) by abate
File length: 284 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, 11 months ago) by abate
File length: 302 byte(s)
Diff to previous 374

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

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

Revision 374 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:29:46 2007 UTC (5 years, 11 months ago) by abate
File length: 323 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, 11 months ago) by abate
File length: 321 byte(s)
Diff to previous 278

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

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

Revision 278 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:59 2007 UTC (5 years, 11 months ago) by abate
File length: 234 byte(s)
Diff to previous 277

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:46 2007 UTC (5 years, 11 months ago) by abate
File length: 364 byte(s)
Diff to previous 217

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

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

Revision 217 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:15:25 2007 UTC (5 years, 11 months ago) by abate
File length: 414 byte(s)
Diff to previous 124

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

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

Revision 124 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:08:19 2007 UTC (5 years, 11 months ago) by abate
File length: 393 byte(s)
Diff to previous 107

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

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

Revision 107 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:06:47 2007 UTC (5 years, 11 months ago) by abate
File length: 373 byte(s)
Diff to previous 95

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

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

Revision 95 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:05:54 2007 UTC (5 years, 11 months ago) by abate
File length: 152 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, 11 months ago) by abate
File length: 99 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.

	Diffs between and
	Type of Diff should be a