aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-03-23Updated for 3.1 releaseDavid Aspinall
2000-03-23Updated to add me.David Aspinall
2000-03-23Fix for XEmacs noteDavid Aspinall
2000-03-23Added zip file buildDavid Aspinall
2000-03-23Updated for 3.1David Aspinall
2000-03-23Made magic.David Aspinall
2000-03-23Hooray, I proved a theorem.David Aspinall
2000-03-23Updated for 3.1, removed appendix.David Aspinall
2000-03-233.1 available nowDavid Aspinall
2000-03-23Fix name of HOL98.David Aspinall
2000-03-23Notes about using on WindowsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 21:27:11 +0000