[svn] Log of /web/ocaml.xml

Revision 1950 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:33:43 2007 UTC (5 years, 11 months ago) by abate
File length: 44640 byte(s)
Diff to previous 1946

[r2007-05-23 17:10:17 by afrisch] Empty log message

Original author: afrisch
Date: 2007-05-23 17:10:17+00:00

Revision 1946 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:33:25 2007 UTC (5 years, 11 months ago) by abate
File length: 44203 byte(s)
Diff to previous 1938

[r2007-05-22 06:58:47 by afrisch] Empty log message

Original author: afrisch
Date: 2007-05-22 06:58:47+00:00

Revision 1938 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:32:57 2007 UTC (5 years, 11 months ago) by abate
File length: 43992 byte(s)
Diff to previous 1937

[r2007-01-23 08:35:16 by afrisch] Empty log message

Original author: afrisch
Date: 2007-01-23 08:35:16+00:00

Revision 1937 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:32:54 2007 UTC (5 years, 11 months ago) by abate
File length: 43986 byte(s)
Diff to previous 1925

[r2007-01-23 08:17:03 by afrisch] Empty log message

Original author: afrisch
Date: 2007-01-23 08:17:03+00:00

Revision 1925 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:32:07 2007 UTC (5 years, 11 months ago) by abate
File length: 43831 byte(s)
Diff to previous 1919

[r2006-12-19 17:58:46 by afrisch] Empty log message

Original author: afrisch
Date: 2006-12-19 17:59:16+00:00

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

[r2006-11-24 13:37:40 by afrisch] soss

Original author: afrisch
Date: 2006-11-24 13:37:41+00:00

Revision 1918 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:31:33 2007 UTC (5 years, 11 months ago) by abate
File length: 43588 byte(s)
Diff to previous 1895

[r2006-11-24 13:25:15 by afrisch] ocamlduce 3.09.2pl2

Original author: afrisch
Date: 2006-11-24 13:25:15+00:00

Revision 1895 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:30:02 2007 UTC (5 years, 11 months ago) by abate
File length: 43558 byte(s)
Diff to previous 1894

[r2006-07-18 05:20:59 by afrisch] Empty log message

Original author: afrisch
Date: 2006-07-18 05:21:00+00:00

Revision 1894 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:29:58 2007 UTC (5 years, 11 months ago) by abate
File length: 43591 byte(s)
Diff to previous 1877

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

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

Revision 1877 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:28:43 2007 UTC (5 years, 11 months ago) by abate
File length: 43377 byte(s)
Diff to previous 1876

[r2006-05-10 22:04:12 by afrisch] Empty log message

Original author: afrisch
Date: 2006-05-10 22:04:12+00:00

Revision 1876 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:28:40 2007 UTC (5 years, 11 months ago) by abate
File length: 43437 byte(s)
Diff to previous 1840

[r2006-05-10 21:19:45 by afrisch] Empty log message

Original author: afrisch
Date: 2006-05-10 21:19:46+00:00

Revision 1840 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:26:20 2007 UTC (5 years, 11 months ago) by abate
File length: 43161 byte(s)
Diff to previous 1832

[r2006-01-25 13:54:21 by afrisch] Empty log message

Original author: afrisch
Date: 2006-01-25 13:54:21+00:00

Revision 1832 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:25:56 2007 UTC (5 years, 11 months ago) by abate
File length: 42975 byte(s)
Diff to previous 1831

[r2006-01-06 15:57:42 by afrisch] Empty log message

Original author: afrisch
Date: 2006-01-06 15:57:42+00:00

Revision 1831 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:25:52 2007 UTC (5 years, 11 months ago) by abate
File length: 42414 byte(s)
Diff to previous 1823

[r2006-01-04 17:13:30 by afrisch] Empty log message

Original author: afrisch
Date: 2006-01-04 17:13:30+00:00

Revision 1823 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:25:26 2007 UTC (5 years, 11 months ago) by abate
File length: 42490 byte(s)
Diff to previous 1821

[r2005-12-25 10:41:30 by afrisch] Empty log message

Original author: afrisch
Date: 2005-12-25 10:41:30+00:00

Revision 1821 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:25:20 2007 UTC (5 years, 11 months ago) by abate
File length: 42080 byte(s)
Diff to previous 1815

[r2005-12-14 16:13:28 by afrisch] Empty log message

Original author: afrisch
Date: 2005-12-14 16:13:29+00:00

Revision 1815 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:24:58 2007 UTC (5 years, 11 months ago) by abate
File length: 42933 byte(s)
Diff to previous 1811

[r2005-10-31 12:34:19 by afrisch] Empty log message

Original author: afrisch
Date: 2005-10-31 12:34:19+00:00

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

[r2005-10-30 12:38:27 by afrisch] Empty log message

Original author: afrisch
Date: 2005-10-30 12:38:27+00:00

Revision 1809 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:24:12 2007 UTC (5 years, 11 months ago) by abate
File length: 42584 byte(s)
Diff to previous 1808

[r2005-10-05 15:01:17 by afrisch] Empty log message

Original author: afrisch
Date: 2005-10-05 15:01:17+00:00

Revision 1808 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:24:09 2007 UTC (5 years, 11 months ago) by abate
File length: 42584 byte(s)
Diff to previous 1806

[r2005-09-24 14:57:03 by afrisch] Empty log message

Original author: afrisch
Date: 2005-09-24 14:57:03+00:00

Revision 1806 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:24:03 2007 UTC (5 years, 11 months ago) by abate
File length: 42010 byte(s)
Diff to previous 1804

[r2005-09-15 15:28:35 by afrisch] doc

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

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

[r2005-08-30 13:41:13 by afrisch] Empty log message

Original author: afrisch
Date: 2005-08-30 13:41:13+00:00

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

[r2005-08-29 11:48:44 by afrisch] Add an example

Original author: afrisch
Date: 2005-08-29 11:48:44+00:00

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

[r2005-08-27 08:43:21 by afrisch] Empty log message

Original author: afrisch
Date: 2005-08-27 08:43:22+00:00

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

[r2005-08-26 15:11:46 by afrisch] Empty log message

Original author: afrisch
Date: 2005-08-26 15:11:46+00:00

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

[r2005-08-24 16:54:55 by afrisch] Empty log message

Original author: afrisch
Date: 2005-08-24 16:54:55+00:00

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

[r2005-07-31 23:01:13 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-31 23:01:13+00:00

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

[r2005-07-31 07:59:30 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-31 07:59:30+00:00

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

[r2005-07-30 20:14:39 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-30 20:14:39+00:00

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

[r2005-07-30 19:56:26 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-30 19:56:26+00:00

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

[r2005-07-30 19:49:01 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-30 19:49:01+00:00

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

[r2005-07-30 15:14:34 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-30 15:14:34+00:00

Revision 1787 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:22:57 2007 UTC (5 years, 11 months ago) by abate
File length: 22468 byte(s)
Diff to previous 1751

[r2005-07-30 14:11:51 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-30 14:11:51+00:00

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

[r2005-07-06 16:35:13 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-06 16:35:13+00:00

Revision 1697 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 19:15:20 2007 UTC (5 years, 11 months ago) by abate
File length: 1541 byte(s)
Diff to previous 1658

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

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

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

Revision 1634 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 19:10:04 2007 UTC (5 years, 11 months ago) by abate
File length: 1541 byte(s)

[r2005-04-20 15:43:07 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-20 15:43:07+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