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
Tue, 22 Mar 2016 08:00:15 +0100 more debugging
blanchet [Tue, 22 Mar 2016 08:00:15 +0100] rev 62689
more debugging
Tue, 22 Mar 2016 07:57:02 +0100 more general, reliable N2M
blanchet [Tue, 22 Mar 2016 07:57:02 +0100] rev 62688
more general, reliable N2M
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip