Thu, 30 Aug 2012 09:47:46 +0200 |
blanchet |
started work on datatype sugar
|
changeset |
files
|
Thu, 30 Aug 2012 09:47:46 +0200 |
blanchet |
killed obsolete "bnf_of_typ" command
|
changeset |
files
|
Thu, 30 Aug 2012 09:47:46 +0200 |
blanchet |
removed dead code
|
changeset |
files
|
Thu, 30 Aug 2012 09:47:46 +0200 |
blanchet |
have "bnf_of_typ" command seal the BNF
|
changeset |
files
|
Thu, 30 Aug 2012 21:50:49 +0200 |
wenzelm |
register proofs of Isar goals, to enable recovery from unstable command states after interactive cancellation;
|
changeset |
files
|
Thu, 30 Aug 2012 21:23:04 +0200 |
wenzelm |
refined treatment of forked proofs at transaction boundaries, including proof commands (see also 7ee000ce5390);
|
changeset |
files
|
Thu, 30 Aug 2012 19:18:49 +0200 |
wenzelm |
some support for registering forked proofs within Proof.state, using its bottom context;
|
changeset |
files
|
Thu, 30 Aug 2012 16:39:50 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Thu, 30 Aug 2012 15:26:37 +0200 |
wenzelm |
refined status of forked goals;
|
changeset |
files
|
Thu, 30 Aug 2012 15:22:21 +0200 |
wenzelm |
proper merge of promises to avoid exponential blow-up in pathologic situations (e.g. lack of PThm wrapping);
|
changeset |
files
|
Wed, 29 Aug 2012 22:18:33 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
Wed, 29 Aug 2012 21:31:45 +0200 |
wenzelm |
discontinued old init_components script, superseded by init_components shell function as explained in README_REPOSITORY;
|
changeset |
files
|
Wed, 29 Aug 2012 21:27:32 +0200 |
wenzelm |
approximative build of pdf documents in 1 pass instead of 3;
|
changeset |
files
|
Wed, 29 Aug 2012 21:20:46 +0200 |
wenzelm |
more formal isabelle makedist from repository;
|
changeset |
files
|
Wed, 29 Aug 2012 21:01:05 +0200 |
wenzelm |
removed remains of generated material, which tends to rot;
|
changeset |
files
|