Wed, 23 Mar 2016 16:37:13 +0100 sorted out type issue with sort constraints
blanchet [Wed, 23 Mar 2016 16:37:13 +0100] rev 62699
sorted out type issue with sort constraints
Tue, 22 Mar 2016 13:44:50 +0100 tuned whitespace
blanchet [Tue, 22 Mar 2016 13:44:50 +0100] rev 62698
tuned whitespace
Tue, 22 Mar 2016 13:32:40 +0100 compile
blanchet [Tue, 22 Mar 2016 13:32:40 +0100] rev 62697
compile
Tue, 22 Mar 2016 12:39:37 +0100 added 'corec' examples and tests
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62696
added 'corec' examples and tests
Tue, 22 Mar 2016 12:39:37 +0100 file header
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62695
file header
Tue, 22 Mar 2016 12:39:37 +0100 added two 'corec' examples
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62694
added two 'corec' examples
Tue, 22 Mar 2016 12:39:37 +0100 document addition of 'corec'
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62693
document addition of 'corec'
Tue, 22 Mar 2016 12:39:37 +0100 moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62692
moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
Tue, 22 Mar 2016 12:39:37 +0100 put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints
blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62691
put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints
Tue, 22 Mar 2016 08:00:33 +0100 nicer error
blanchet [Tue, 22 Mar 2016 08:00:33 +0100] rev 62690
nicer error
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip