| Sun, 30 Jun 2013 12:40:55 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 30 Jun 2013 12:39:39 +0200 | wenzelm | more uniform notion of disabled proofs -- NB: historic meaning of 1 for recording theorems is already included in 0; | changeset | files |
| Sun, 30 Jun 2013 12:30:02 +0200 | wenzelm | discontinued system option "proofs" -- global state of Proofterm.proofs is persistently compiled into HOL-Proofs image; | changeset | files |
| Sun, 30 Jun 2013 11:37:34 +0200 | wenzelm | backout dedd7952a62c: static "proofs" value within theory prevents later inferencing with different configuration; | changeset | files |
| Sun, 30 Jun 2013 11:30:16 +0200 | wenzelm | just one alternative proof syntax, which also works for Proof_Syntax.pretty_proof/Proof_Syntax.read_proof roundtrip; | changeset | files |
| Sun, 30 Jun 2013 09:26:00 +0200 | haftmann | CONTRIBUTORS | changeset | files |