aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-10-20Updated screenshot.David Aspinall
1998-10-20Miscellaneous notes (how to create screen dump)David Aspinall
1998-10-20Isabelle program name is just 'isabelle'David Aspinall
1998-10-20Removed duplicate proofDavid Aspinall
1998-10-20Filename commentDavid Aspinall
1998-10-20dcsinstall copies from DISTBUILDIR instead for local only releaseDavid Aspinall
1998-10-20Added dcsinstall target.David Aspinall
1998-10-20Screenshot is out of dateThomas Kleymann
1998-10-20Changed for proof-script-buffer to proof-script-buffer-listDavid Aspinall
1998-10-19support environmental variable PROOFGENERALThomas Kleymann
1998-10-19reordered two itemsThomas Kleymann
1998-10-19Bug fixes for multiple file code, da/tms.David Aspinall
1998-10-19todo for multiple files in IsabelleDavid Aspinall
1998-10-19Customization for multiple filesDavid Aspinall
1998-10-19Test files for handling multiple files with IsabelleDavid Aspinall
1998-10-19Description of dir contentsDavid Aspinall
1998-10-19Added todo for Isabelle multiple filesDavid Aspinall
1998-10-19Added todo for byte-compilationDavid Aspinall
1998-10-18added specification for a more generic mechanism for large undosThomas Kleymann
1998-10-18support for nested goals is now restricted to CoqThomas Kleymann
1998-10-18relaxed conditions in light of new multiple files supportThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-18*** empty log message ***Thomas Kleymann
1998-10-15Fixed top spacing to match other pages.David Aspinall
1998-10-15added B item for ReleaseThomas Kleymann
1998-10-15Set version tag for new release.David Aspinall
1998-10-15Added index bar with bullet holes.David Aspinall
1998-10-15Added .ignore for documentation targets and intermediates.David Aspinall
1998-10-15*** empty log message ***Thomas Kleymann
1998-10-15*** empty log message ***Thomas Kleymann
1998-10-14Removed web page validate, has been done.David Aspinall
1998-10-14Added word new to release messageDavid Aspinall
1998-10-14Bug in texiDavid Aspinall
1998-10-14Set version tag for release.David Aspinall
1998-10-14Added todo for removing image targets from repository.David Aspinall
1998-10-14Other small improvements to adding new proof assistant section.David Aspinall
1998-10-14Added developer's distribution, link to master todo list, images targetDavid Aspinall
1998-10-14Added suggestion about simplifying instantiationDavid Aspinall
1998-10-14Minor change to notes on adding a new assistant, menu nameDavid Aspinall
1998-10-14Added some items suggested by Markus Wenzel.David Aspinall
1998-10-13Updated to posted versionDavid Aspinall
1998-10-13Added cleanup after release.David Aspinall
1998-10-13Disabled font-lock in process bufferThomas Kleymann
1998-10-13Set version tag for release.David Aspinall
1998-10-12Note about proof-restart-scriptDavid Aspinall
1998-10-12Fixed bug in proof-toolbar-qed.David Aspinall
1998-10-12Removed A* items done. Raised importance of FSF Emacs bug fix to A.David Aspinall
1998-10-12Notes about things to put in docs.David Aspinall
1998-10-12Added note about odd message during RPM build.David Aspinall
1998-10-12Fixed broken taggingDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 11:01:34 +0000