Tue, 13 Dec 2005 16:24:12 +0100 deals with Suc in mod expressions
chaieb [Tue, 13 Dec 2005 16:24:12 +0100] rev 18393
deals with Suc in mod expressions
Tue, 13 Dec 2005 15:46:41 +0100 Poplog/pml provides a proper print function already!
wenzelm [Tue, 13 Dec 2005 15:46:41 +0100] rev 18392
Poplog/pml provides a proper print function already!
Tue, 13 Dec 2005 15:34:21 +0100 meson no longer does these examples
paulson [Tue, 13 Dec 2005 15:34:21 +0100] rev 18391
meson no longer does these examples
Tue, 13 Dec 2005 15:34:02 +0100 now generates the name "append"
paulson [Tue, 13 Dec 2005 15:34:02 +0100] rev 18390
now generates the name "append"
Tue, 13 Dec 2005 15:27:43 +0100 removal of functional reflexivity axioms
paulson [Tue, 13 Dec 2005 15:27:43 +0100] rev 18389
removal of functional reflexivity axioms
Tue, 13 Dec 2005 10:39:32 +0100 list_of_indset now also generates code for set type.
berghofe [Tue, 13 Dec 2005 10:39:32 +0100] rev 18388
list_of_indset now also generates code for set type.
Mon, 12 Dec 2005 17:24:06 +0100 added generic name mangler
haftmann [Mon, 12 Dec 2005 17:24:06 +0100] rev 18387
added generic name mangler
Mon, 12 Dec 2005 15:37:35 +0100 improvement in eq handling
haftmann [Mon, 12 Dec 2005 15:37:35 +0100] rev 18386
improvement in eq handling
Mon, 12 Dec 2005 15:37:05 +0100 improvements in class and eq handling
haftmann [Mon, 12 Dec 2005 15:37:05 +0100] rev 18385
improvements in class and eq handling
Mon, 12 Dec 2005 15:36:46 +0100 added dummy 'print' to non-polyml systems
haftmann [Mon, 12 Dec 2005 15:36:46 +0100] rev 18384
added dummy 'print' to non-polyml systems
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip