aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2000-03-233.0 becomes an old release.David Aspinall
2000-03-23Remove attempts at elisp markup, screwy regexps somewhere or php buggy.David Aspinall
2000-03-23Updated Isabelle home page.David Aspinall
2000-03-23Updated, split by Emacs-specificityDavid Aspinall
2000-03-23Let Windows use the toolbar too.David Aspinall
2000-03-23added 'moreover';Makarius Wenzel
2000-03-22Set version tag for new release.David Aspinall
2000-03-22Updated todo's.David Aspinall
2000-03-22Updated and cleaned upDavid Aspinall
2000-03-22Updated and cleaned upDavid Aspinall
2000-03-22Fix for activating multiple frames when no active scripting buffer.David Aspinall
2000-03-22Bug fix for electric terminator used inside locked region.David Aspinall
2000-03-22Rename proof-shell-string-escapes -> proof-shell-filename-escapesDavid Aspinall
2000-03-22Set proof-shell-filename-escapes, switch back to %sDavid Aspinall
2000-03-22Notes about strange filenamesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 05:16:24 +0000