Wed, 20 Feb 2013 08:44:24 +0100 | blanchet | made "isar_proofs" a 3-way option, to provide a way to totally disable isar_proofs if desired | changeset | files |
Wed, 20 Feb 2013 08:44:24 +0100 | blanchet | alias for people like me | changeset | files |
Tue, 19 Feb 2013 19:44:10 +0100 | haftmann | dropped spurious left-over from 0a2371e7ced3 | changeset | files |