Tue, 04 May 2010 17:25:58 +0200 Cezary Kaliszyk "isabelle make" compiles all examples with newparser/newfv/newalpha only.
Tue, 04 May 2010 17:15:21 +0200 Cezary Kaliszyk Move Term4 to NewParser
Tue, 04 May 2010 16:59:31 +0200 Cezary Kaliszyk Fix Term4 for permutation signature change
Tue, 04 May 2010 16:44:12 +0200 Cezary Kaliszyk Move LF to NewParser. Just works.
Tue, 04 May 2010 16:42:36 +0200 Cezary Kaliszyk merge
Tue, 04 May 2010 16:42:28 +0200 Cezary Kaliszyk ExLetMult
Tue, 04 May 2010 16:39:12 +0200 Cezary Kaliszyk Ex1Rec.
Tue, 04 May 2010 16:33:38 +0200 Cezary Kaliszyk merge
Tue, 04 May 2010 16:33:30 +0200 Cezary Kaliszyk merge
Tue, 04 May 2010 16:29:11 +0200 Cezary Kaliszyk ExPS3 in NewParser
Tue, 04 May 2010 16:22:21 +0200 Cezary Kaliszyk Move ExPS8 to new parser.
Tue, 04 May 2010 16:30:31 +0200 Cezary Kaliszyk Fix for new isabelle
Tue, 04 May 2010 16:18:07 +0200 Cezary Kaliszyk merge
Tue, 04 May 2010 16:17:46 +0200 Cezary Kaliszyk Minor
Tue, 04 May 2010 14:38:07 +0100 Christian Urban increased step counter so that all steps go through
Tue, 04 May 2010 14:33:50 +0100 Christian Urban fixed my error with define_raw_fv
Tue, 04 May 2010 14:25:22 +0100 Christian Urban tuned and added some comments to the code; added also an exception for early exit of the nominal2_cmd function
Tue, 04 May 2010 14:21:18 +0200 Cezary Kaliszyk Separate Term8, as it may work soon.
Tue, 04 May 2010 14:13:18 +0200 Cezary Kaliszyk moved CoreHaskell to NewParser.
Tue, 04 May 2010 13:52:40 +0200 Cezary Kaliszyk ExPS7 in NewParser
Tue, 04 May 2010 12:34:33 +0200 Cezary Kaliszyk Move ExLeroy to New Parser
Tue, 04 May 2010 11:22:22 +0200 Cezary Kaliszyk Move 2 more to NewParser
Tue, 04 May 2010 11:12:09 +0200 Cezary Kaliszyk Move TypeSchemes to NewParser
Tue, 04 May 2010 11:08:30 +0200 Cezary Kaliszyk Move ExLet to NewParser.
Tue, 04 May 2010 07:22:33 +0100 Christian Urban tuned
Tue, 04 May 2010 06:24:54 +0100 Christian Urban roll back of the last commit (there was a difference)
Tue, 04 May 2010 06:05:13 +0100 Christian Urban tuned
Tue, 04 May 2010 06:02:45 +0100 Christian Urban to my best knowledge the number of datatypes is equal to the length of the dt_descr; so we can save one argument in define_raw_perm
Tue, 04 May 2010 05:36:55 +0100 Christian Urban merged
Tue, 04 May 2010 05:36:43 +0100 Christian Urban some preliminary changes to the pearl-jv paper
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip