aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-04-05improved print_mode switch;Makarius Wenzel
2000-04-05'welcome' made diagnostic;Makarius Wenzel
2000-04-05eliminated 'as' keyword;Makarius Wenzel
2000-04-04added 'print_claset', 'print_simpset';Makarius Wenzel
2000-04-04Added provisional commands for enabling/disabling printing.David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-04-04UpdatedDavid Aspinall
2000-04-04Save as Example.ML, except using X-Symbol input tokens.David Aspinall
2000-04-04Note of 3.2 changesDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 02:37:09 +0000