aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-04-04Improved behaviour of electric terminator.David Aspinall
2000-04-04UpdatedDavid Aspinall
2000-04-04Added implementation of silent switch for turning on/off prover output.David Aspinall
2000-04-04Added proof-shell-clear-state function to collect together state clearing ops.David Aspinall
2000-04-04Updates for 3.2 series.David Aspinall
2000-04-04Added new project B4David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-04-04Updated news about 3.1.3, split old news out.David Aspinall
2000-04-04Note about 3.1.3 releaseDavid Aspinall
2000-04-04Fix accidently introduced bug with passing full paths to theory loader.David Aspinall
2000-04-04Altered proof-format-filename to add %e and %r specifiers.David Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
2000-04-03added 'ProofGeneral.undo';Makarius Wenzel
2000-03-27removed 'variables';Makarius Wenzel
2000-03-24Set version tag for new release.David Aspinall
2000-03-24Spacing.David Aspinall
2000-03-24About 3.1.2David Aspinall
2000-03-24Use pg command pg_top_thm_and_dropDavid Aspinall
2000-03-24Improved HOL support, now joins together commands in proof properly.David Aspinall
2000-03-24Note about testing on win32David Aspinall
2000-03-24UpdatedDavid Aspinall
2000-03-24UpdatedDavid Aspinall
2000-03-24Add some colours for mswindows in deffaces.David Aspinall
2000-03-243.1 not 3.2 changeDavid Aspinall
2000-03-24Note about 21.1.9 problems reading files.David Aspinall
2000-03-24Removed spurious requiresDavid Aspinall
2000-03-24Removed pg_saved_gl which was for testing.David Aspinall
2000-03-24Do need to strip drive name as Jacques discovered.David Aspinall
2000-03-24Fix name of win32-long-file-name used as check.David Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-24Updated to 3.2pre series.David Aspinall
2000-03-24Draft slides no longer draft. Fix broken link, too.David Aspinall
2000-03-24Final version of outline paperDavid Aspinall
2000-03-24Add some more bullets.David Aspinall
2000-03-24Updated copy dateDavid Aspinall
2000-03-24Quoted backslashes.David Aspinall
2000-03-24Obscure end of internal input stream problem solved.David Aspinall
2000-03-24Sensible default for Windows invoking IsabelleDavid Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-24Notes about upcoming 3.1.1 changesDavid Aspinall
2000-03-24Move to pre3.2 prerelease series.David Aspinall
2000-03-24Attempt to fix filename mess for Windows.David Aspinall
2000-03-23removed 'kill_proof';Makarius Wenzel
2000-03-23CommentDavid Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23First release attemptDavid Aspinall
2000-03-23Newline.David Aspinall
2000-03-23Update with Windows instructions, note about X-Symbol not on WindowsDavid Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23Added link for zip fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 13:30:05 +0000