[svn] Log of /misc

Revision 379 - Directory Listing
Modified Tue Jul 10 17:30:08 2007 UTC (5 years, 10 months ago) by abate

[r2003-05-20 22:17:46 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-20 22:17:47+00:00

Revision 377 - Directory Listing
Modified Tue Jul 10 17:29:59 2007 UTC (5 years, 10 months ago) by abate

[r2003-05-20 17:22:38 by cvscast] Better simplification of regexp for printing

Original author: cvscast
Date: 2003-05-20 17:22:38+00:00

Revision 374 - Directory Listing
Modified Tue Jul 10 17:29:46 2007 UTC (5 years, 10 months ago) by abate

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

Original author: cvscast
Date: 2003-05-20 13:27:27+00:00

Revision 372 - Directory Listing
Modified Tue Jul 10 17:29:17 2007 UTC (5 years, 10 months ago) by abate

[r2003-05-19 20:30:05 by cvscast] Improve pretty-printer

Original author: cvscast
Date: 2003-05-19 20:30:05+00:00

Revision 364 - Directory Listing
Modified Tue Jul 10 17:28:25 2007 UTC (5 years, 10 months ago) by abate

[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 319 - Directory Listing
Modified Tue Jul 10 17:24:52 2007 UTC (5 years, 10 months ago) by abate

[r2003-05-10 21:50:48 by cvscast] Fixed bug UTF-8

Original author: cvscast
Date: 2003-05-10 21:50:48+00:00

Revision 310 - Directory Listing
Modified Tue Jul 10 17:24:12 2007 UTC (5 years, 10 months ago) by abate

[r2003-05-10 14:44:29 by cvscast] Start Unicode support. Remove more generic comparisons

Original author: cvscast
Date: 2003-05-10 14:44:30+00:00

Revision 294 - Directory Listing
Modified Tue Jul 10 17:23:05 2007 UTC (5 years, 10 months ago) by abate

[r2003-05-08 15:58:53 by cvscast] added cvsignore files to have cvs ignore OCaml object files

Original author: cvscast
Date: 2003-05-08 15:58:54+00:00

Revision 281 - Directory Listing
Modified Tue Jul 10 17:22:16 2007 UTC (5 years, 10 months ago) by abate

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

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

Revision 275 - Directory Listing
Modified Tue Jul 10 17:21:31 2007 UTC (5 years, 10 months ago) by abate

[r2003-03-23 10:08:53 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-23 10:08:54+00:00

Revision 272 - Directory Listing
Modified Tue Jul 10 17:21:20 2007 UTC (5 years, 10 months ago) by abate

[r2003-03-22 23:08:40 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 23:08:40+00:00

Revision 271 - Directory Listing
Modified Tue Jul 10 17:21:17 2007 UTC (5 years, 10 months ago) by abate

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

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

Revision 269 - Directory Listing
Modified Tue Jul 10 17:21:03 2007 UTC (5 years, 10 months ago) by abate

[r2003-03-22 15:22:10 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 15:22:11+00:00

Revision 225 - Directory Listing
Modified Tue Jul 10 17:16:34 2007 UTC (5 years, 10 months ago) by abate

[r2003-03-08 15:10:01 by cvscast] Empty log message

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

Revision 222 - Directory Listing
Modified Tue Jul 10 17:15:58 2007 UTC (5 years, 10 months ago) by abate

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

Original author: cvscast
Date: 2003-03-07 17:31:05+00:00

Revision 191 - Directory Listing
Modified Tue Jul 10 17:13:51 2007 UTC (5 years, 10 months ago) by abate

[r2003-01-12 20:40:54 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-12 20:40:54+00:00

Revision 109 - Directory Listing
Modified Tue Jul 10 17:06:54 2007 UTC (5 years, 10 months ago) by abate

[r2002-11-10 16:24:19 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 16:24:19+00:00

Revision 96 - Directory Listing
Modified Tue Jul 10 17:05:59 2007 UTC (5 years, 10 months ago) by abate

[r2002-11-10 02:31:52 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 02:31:52+00:00

Revision 80 - Directory Listing
Modified Tue Jul 10 17:04:31 2007 UTC (5 years, 10 months ago) by abate

[r2002-11-06 16:19:24 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-06 16:19:25+00:00

Revision 79 - Directory Listing
Added Tue Jul 10 17:04:28 2007 UTC (5 years, 10 months ago) by abate

[r2002-11-06 10:10:54 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-06 10:11:15+00:00