/[svn]/types/types.mli
ViewVC logotype

Log of /types/types.mli

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 1955)

Revision 1358 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:42:26 2007 UTC (5 years, 10 months ago) by abate
File length: 6099 byte(s)
Diff to previous 1355 , to selected 186
[r2004-12-23 13:31:47 by afrisch] Compil

Original author: afrisch
Date: 2004-12-23 13:31:48+00:00

Revision 1355 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:42:11 2007 UTC (5 years, 10 months ago) by abate
File length: 5765 byte(s)
Diff to previous 1352 , to selected 186
[r2004-12-23 00:10:05 by afrisch] Derivation

Original author: afrisch
Date: 2004-12-23 00:10:05+00:00

Revision 1352 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:41:52 2007 UTC (5 years, 10 months ago) by abate
File length: 5712 byte(s)
Diff to previous 1251 , to selected 186
[r2004-12-21 16:09:03 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-21 16:09:03+00:00

Revision 1251 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:34:58 2007 UTC (5 years, 10 months ago) by abate
File length: 5682 byte(s)
Diff to previous 1242 , to selected 186
[r2004-07-09 14:35:43 by cmiachon] CQL Aggregats. min, max, sum, avg, count, member, distinct_values
todo: precise type for min max and distinct_values

Original author: cmiachon
Date: 2004-07-09 14:35:43+00:00

Revision 1242 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:34:16 2007 UTC (5 years, 10 months ago) by abate
File length: 5701 byte(s)
Diff to previous 1151 , to selected 186
[r2004-07-08 17:15:32 by cmiachon] int_any

Original author: cmiachon
Date: 2004-07-08 17:15:32+00:00

Revision 1151 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:26:12 2007 UTC (5 years, 10 months ago) by abate
File length: 5682 byte(s)
Diff to previous 1146 , to selected 186
[r2004-06-28 00:23:45 by afrisch] Types abstraits, unit, Any

Original author: afrisch
Date: 2004-06-28 00:23:46+00:00

Revision 1146 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:25:45 2007 UTC (5 years, 10 months ago) by abate
File length: 5627 byte(s)
Diff to previous 956 , to selected 186
[r2004-06-27 21:11:51 by afrisch] New ocaml interface

Original author: afrisch
Date: 2004-06-27 21:11:54+00:00

Revision 956 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:13:56 2007 UTC (5 years, 10 months ago) by abate
File length: 5597 byte(s)
Diff to previous 802 , to selected 186
[r2004-01-20 16:12:13 by afrisch] Debut des types abstraits

Original author: afrisch
Date: 2004-01-20 16:12:15+00:00

Revision 802 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 18:04:11 2007 UTC (5 years, 10 months ago) by abate
File length: 5343 byte(s)
Diff to previous 713 , to selected 186
[r2003-11-21 12:51:15 by szach] changed rec_of_list* helpers so that they use Ns.qname instead of
string

Original author: szach
Date: 2003-11-21 12:51:15+00:00

Revision 713 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:58:04 2007 UTC (5 years, 10 months ago) by abate
File length: 5339 byte(s)
Diff to previous 698 , to selected 186
[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, 10 months ago) by abate
File length: 5098 byte(s)
Diff to previous 691 , to selected 186
[r2003-10-04 02:00:15 by cvscast] Compilation + serialization

Original author: cvscast
Date: 2003-10-04 02:01:37+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: 5097 byte(s)
Diff to previous 672 , to selected 186
[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 672 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:53:24 2007 UTC (5 years, 10 months ago) by abate
File length: 5164 byte(s)
Diff to previous 656 , to selected 186
[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 656 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:51:50 2007 UTC (5 years, 10 months ago) by abate
File length: 5039 byte(s)
Diff to previous 653 , to selected 186
[r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more uppercase/lowercase distinction for
identifiers

Original author: cvscast
Date: 2003-09-16 21:30:45+00:00

Revision 653 - (view) (annotate) - [select for diffs]
Modified Tue Jul 10 17:51:13 2007 UTC (5 years, 10 months ago) by abate
File length: 5027 byte(s)
Diff to previous 529 , to selected 186
[r2003-09-14 19:36:06 by cvscast] Cleaning + upgrade to OCaml 3.07+beta2 (use recursive modules)

Original author: cvscast
Date: 2003-09-14 19:36:10+00:00

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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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
[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) - [selected]
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
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 186
[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 , to selected 186
[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) - [select for diffs]
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 , to selected 186
[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 186
[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 186
[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

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5