GitLab

[r2003-07-02 18:05:03 by cvscast] Update manual for namespaces and bug fix pretty printing p:* -- Alain

Original author: cvscast
Date: 2003-07-02 18:05:04+00:00

Original author: cvscast
Date: 2003-06-08 08:57:28+00:00

Original author: cvscast
Date: 2003-05-31 21:40:36+00:00

Original author: cvscast
Date: 2003-05-24 20:35:15+00:00

Original author: cvscast
Date: 2003-05-22 21:18:45+00:00

Original author: cvscast
Date: 2003-05-22 14:12:54+00:00

Original author: cvscast
Date: 2003-05-21 22:09:49+00:00

Original author: cvscast
Date: 2003-05-21 21:27:38+00:00

Original author: cvscast
Date: 2002-10-10 09:11:23+00:00

Original author: afrisch
Date: 2007-01-01 14:58:02+00:00

Original author: afrisch
Date: 2006-10-03 09:39:58+00:00

[r2006-05-29 15:09:50 by ngesbert] Slightly modified the description of the general syntax of a function
expression: the number of types in the abstraction has nothing to do
with the number of branches in the pattern matching, so they shouldn't
both be called "n"

Original author: ngesbert
Date: 2006-05-29 15:09:50+00:00

Original author: beppe
Date: 2005-06-09 22:32:55+00:00

Original author: beppe
Date: 2005-06-09 17:52:59+00:00

Original author: beppe
Date: 2005-06-09 17:49:06+00:00

Original author: afrisch
Date: 2005-06-02 11:52:35+00:00

Original author: afrisch
Date: 2005-05-27 16:14:07+00:00

Original author: beppe
Date: 2005-05-17 19:53:20+00:00

Original author: beppe
Date: 2005-05-17 18:55:01+00:00

Original author: beppe
Date: 2005-05-17 14:42:29+00:00

[r2005-05-17 14:26:08 by beppe] Modified int_of so that now it accepts also strings 0x 0X 0b 0B 0o 0O
for hex, octals and binary

Original author: beppe
Date: 2005-05-17 14:26:09+00:00

Original author: beppe
Date: 2005-05-17 12:30:11+00:00

Original author: beppe
Date: 2005-05-17 11:35:33+00:00

Original author: beppe
Date: 2005-03-27 16:21:50+00:00

Original author: afrisch
Date: 2005-03-09 17:02:39+00:00

[r2005-03-09 13:33:51 by afrisch] string:// --> string: Resolution of external entities in PXP, expat

Original author: afrisch
Date: 2005-03-09 13:36:17+00:00

Original author: afrisch
Date: 2005-03-08 15:27:12+00:00

Original author: afrisch
Date: 2005-03-06 16:46:11+00:00

Original author: afrisch
Date: 2005-03-06 13:53:39+00:00

Original author: afrisch
Date: 2005-01-14 06:32:36+00:00

Original author: afrisch
Date: 2005-01-03 15:10:21+00:00

Original author: beppe
Date: 2004-10-31 23:09:17+00:00

Original author: beppe
Date: 2004-07-07 01:25:22+00:00

Original author: afrisch
Date: 2004-07-06 14:27:22+00:00

Original author: afrisch
Date: 2004-07-04 09:39:29+00:00

Original author: beppe
Date: 2004-07-03 12:10:48+00:00

Original author: beppe
Date: 2004-07-03 12:06:44+00:00

Original author: beppe
Date: 2004-07-03 12:03:25+00:00

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

Original author: beppe
Date: 2004-04-23 21:54:08+00:00