[svn] Log of /types/types.mli

Revision 529 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:42:07 2007 UTC (5 years, 10 months ago) by abate
File length: 5657 byte(s)
Diff to previous 501 , to selected 10

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

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

Revision 501 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:39:47 2007 UTC (5 years, 10 months ago) by abate
File length: 5660 byte(s)
Diff to previous 407 , to selected 10

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

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

Revision 407 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:32:25 2007 UTC (5 years, 10 months ago) by abate
File length: 4863 byte(s)
Diff to previous 374 , to selected 10

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

Original author: cvscast
Date: 2003-05-24 19:31:53+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: 4950 byte(s)
Diff to previous 367 , to selected 10

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

Original author: cvscast
Date: 2003-05-20 13:27:27+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: 4919 byte(s)
Diff to previous 364 , to selected 10

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

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

Revision 364 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:28:25 2007 UTC (5 years, 10 months ago) by abate
File length: 5013 byte(s)
Diff to previous 355 , to selected 10

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

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

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

Revision 287 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:22:43 2007 UTC (5 years, 10 months ago) by abate
File length: 4867 byte(s)
Diff to previous 276 , to selected 10

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

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

Revision 276 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:39 2007 UTC (5 years, 10 months ago) by abate
File length: 4970 byte(s)
Diff to previous 271 , to selected 10

[r2003-03-23 11:34:36 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-23 11:34:37+00:00

Revision 271 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:21:17 2007 UTC (5 years, 10 months ago) by abate
File length: 4930 byte(s)
Diff to previous 263 , to selected 10

[r2003-03-22 21:56:53 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 21:57:06+00:00

Revision 263 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:20:36 2007 UTC (5 years, 10 months ago) by abate
File length: 4785 byte(s)
Diff to previous 252 , to selected 10

[r2003-03-17 22:44:29 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-17 22:44:44+00:00

Revision 252 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:19:28 2007 UTC (5 years, 10 months ago) by abate
File length: 4762 byte(s)
Diff to previous 243 , to selected 10

[r2003-03-16 17:39:47 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-16 17:39:47+00:00

Revision 243 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:18:44 2007 UTC (5 years, 10 months ago) by abate
File length: 4952 byte(s)
Diff to previous 242 , to selected 10

[r2003-03-15 10:59:53 by cvscast] map pour les chars et les atoms

Original author: cvscast
Date: 2003-03-15 10:59:54+00:00

Revision 242 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:18:33 2007 UTC (5 years, 10 months ago) by abate
File length: 4896 byte(s)
Diff to previous 240 , to selected 10

[r2003-03-15 08:40:32 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-15 08:40:32+00:00

Revision 240 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:18:24 2007 UTC (5 years, 10 months ago) by abate
File length: 4690 byte(s)
Diff to previous 233 , to selected 10

[r2003-03-14 18:11:21 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 18:13:42+00:00

Revision 233 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:17:31 2007 UTC (5 years, 10 months ago) by abate
File length: 5867 byte(s)
Diff to previous 229 , to selected 10

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

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

[r2003-03-07 17:31:04 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-07 17:31:05+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: 5619 byte(s)
Diff to previous 167 , to selected 10

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

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

Revision 167 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:12:07 2007 UTC (5 years, 10 months ago) by abate
File length: 5578 byte(s)
Diff to previous 165 , to selected 10

[r2002-12-02 23:22:25 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-02 23:22:25+00:00

Revision 165 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:11:58 2007 UTC (5 years, 10 months ago) by abate
File length: 5558 byte(s)
Diff to previous 160 , to selected 10

[r2002-12-02 22:22:04 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-02 22:22:04+00:00

Revision 160 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:11:34 2007 UTC (5 years, 10 months ago) by abate
File length: 5488 byte(s)
Diff to previous 159 , to selected 10

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

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

Revision 159 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:11:29 2007 UTC (5 years, 10 months ago) by abate
File length: 5492 byte(s)
Diff to previous 156 , to selected 10

[r2002-11-26 09:25:47 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-26 09:25:47+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
File length: 5329 byte(s)
Diff to previous 110 , to selected 10

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

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

Revision 110 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:07:14 2007 UTC (5 years, 10 months ago) by abate
File length: 4951 byte(s)
Diff to previous 78 , to selected 10

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

[r2002-11-06 07:46:53 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-06 07:47:30+00:00

Revision 75 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:03:57 2007 UTC (5 years, 10 months ago) by abate
File length: 4794 byte(s)
Diff to previous 71 , to selected 10

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:03:32 2007 UTC (5 years, 10 months ago) by abate
File length: 4625 byte(s)
Diff to previous 68 , to selected 10

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

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

Revision 68 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:03:05 2007 UTC (5 years, 10 months ago) by abate
File length: 4638 byte(s)
Diff to previous 58 , to selected 10

[r2002-10-31 17:52:39 by cvscast] Empty log message

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

Revision 58 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:01:56 2007 UTC (5 years, 10 months ago) by abate
File length: 4490 byte(s)
Diff to previous 52 , to selected 10

[r2002-10-29 18:49:26 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-29 18:49:26+00:00

Revision 52 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:01:20 2007 UTC (5 years, 10 months ago) by abate
File length: 4472 byte(s)
Diff to previous 45 , to selected 10

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

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

Revision 45 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:00:40 2007 UTC (5 years, 10 months ago) by abate
File length: 4495 byte(s)
Diff to previous 42 , to selected 10

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

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

Revision 42 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:00:17 2007 UTC (5 years, 10 months ago) by abate
File length: 4314 byte(s)
Diff to previous 29 , to selected 10

[r2002-10-25 19:16:26 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-25 19:16:27+00:00

Revision 29 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:59:19 2007 UTC (5 years, 10 months ago) by abate
File length: 4260 byte(s)
Diff to previous 26 , to selected 10

[r2002-10-21 18:58:02 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-21 18:58:02+00:00

Revision 26 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:59:08 2007 UTC (5 years, 10 months ago) by abate
File length: 4258 byte(s)
Diff to previous 19 , to selected 10

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

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

Revision 19 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:58:37 2007 UTC (5 years, 10 months ago) by abate
File length: 4259 byte(s)
Diff to previous 18 , to selected 10

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

[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 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:58:13 2007 UTC (5 years, 10 months ago) by abate
File length: 3642 byte(s)
Diff to previous 16 , to selected 10

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

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

Revision 16 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:58:05 2007 UTC (5 years, 10 months ago) by abate
File length: 3467 byte(s)
Diff to previous 15 , to selected 10

[r2002-10-17 15:38:33 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-17 15:38:35+00:00

Revision 15 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:57:55 2007 UTC (5 years, 10 months ago) by abate
File length: 3263 byte(s)
Diff to previous 13 , to selected 10

[r2002-10-17 12:30:01 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-17 12:30:46+00:00

Revision 13 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:57:42 2007 UTC (5 years, 10 months ago) by abate
File length: 3254 byte(s)
Diff to previous 11 , to selected 10

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

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

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

[r2002-10-16 08:58:50 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-16 08:58:50+00:00

Revision 10 - (view) (annotate) - [selected]
Modified Tue Jul 10 16:57:27 2007 UTC (5 years, 10 months ago) by abate
File length: 2904 byte(s)
Diff to previous 6

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

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

Revision 6 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 16:57:08 2007 UTC (5 years, 10 months ago) by abate
File length: 2846 byte(s)
Diff to previous 1 , to selected 10

[r2002-10-10 16:39:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-10 16:39:45+00:00

Revision 1 - (view) (annotate) - [select for diffs]
Added Tue Jul 10 16:56:44 2007 UTC (5 years, 10 months ago) by abate
File length: 2810 byte(s)
Diff to selected 10

[r2002-10-10 09:11:23 by cvscast] Initial revision

Original author: cvscast
Date: 2002-10-10 09:11:23+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