Log of /cduce/trunk/driver/examples.ml

---

Revision 1956 - (view) (annotate) - [select for diffs]
Modified Wed Jul 11 13:01:15 2007 UTC (5 years, 10 months ago) by abate
File length: 47702 byte(s)
Diff to previous 1863 , to selected 183

new svn layout

---

Revision 1863 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:27:57 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 47702 byte(s)
Diff to previous 1549 , to selected 183

[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 1549 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:01:47 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 13678 byte(s)
Diff to previous 1520 , to selected 183

[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 1520 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:59:04 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 13679 byte(s)
Diff to previous 1110 , to selected 183

[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 1110 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:23:33 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 13678 byte(s)
Diff to previous 644 , to selected 183

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

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

---

Revision 644 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:50:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 13601 byte(s)
Diff to previous 641 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:50:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 12335 byte(s)
Diff to previous 638 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:49:51 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 12336 byte(s)
Diff to previous 636 , to selected 183

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

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

---

Revision 636 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:49:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 12359 byte(s)
Diff to previous 635 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:49:38 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 12562 byte(s)
Diff to previous 562 , to selected 183

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

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

---

Revision 562 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:44:58 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 11381 byte(s)
Diff to previous 561 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:44:49 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 11324 byte(s)
Diff to previous 551 , to selected 183

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

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

---

Revision 551 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:43:44 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 11077 byte(s)
Diff to previous 522 , to selected 183

[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 522 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:41:19 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8679 byte(s)
Diff to previous 488 , to selected 183

[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 488 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:38:30 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8687 byte(s)
Diff to previous 433 , to selected 183

[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 433 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:34:42 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8903 byte(s)
Diff to previous 322 , to selected 183

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

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

---

Revision 322 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:25:07 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8972 byte(s)
Diff to previous 306 , to selected 183

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

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

---

Revision 306 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:23:46 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8968 byte(s)
Diff to previous 288 , to selected 183

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

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

---

Revision 288 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:22:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8967 byte(s)
Diff to previous 286 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:22:36 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8986 byte(s)
Diff to previous 183

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

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

---

Revision 183 - (view) (annotate) - [selected]
Modified Tue Jul 10 17:13:13 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8987 byte(s)
Diff to previous 173

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:12:36 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 9029 byte(s)
Diff to previous 156 , to selected 183

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

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

---

Revision 156 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:11:11 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 8887 byte(s)
Diff to previous 130 , to selected 183

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

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

---

Revision 130 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:09:02 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 7423 byte(s)
Diff to previous 129 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:08:54 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 2783 byte(s)
Diff to previous 128 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:08:48 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 2388 byte(s)
Diff to previous 126 , to selected 183

[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 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 17:08:41 2007 UTC (5 years, 10 months ago) by abate
Original Path: driver/examples.ml
File length: 2387 byte(s)
Diff to selected 183

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

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