aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1998-10-12Added todo for proof-issue-goal, proof-issue-save.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Added compatibility hack for customize-menu-create.David Aspinall
1998-10-12Removed setq proof-assistantDavid Aspinall
1998-10-12Set version tag for release.David Aspinall
1998-10-12Added message about bug in proof-shell-handle-output on FSF EmacsDavid Aspinall
1998-10-12Added message about bug in proof-retract-until-point.David Aspinall
1998-10-12Added sensible error message for attempting undo on empty locked region.David Aspinall
1998-10-12Removed toolbar enablers. XEmacs isnt ready for them yet.David Aspinall
1998-10-12Removed some stuff thats been done.David Aspinall
1998-10-12Made defface's work for dark background Emacsen (default for FSF on Linux).David Aspinall
1998-10-12Dox. Made proof-shell-exec-loop not complain about empty action list.David Aspinall
1998-10-12Made toolbar functions leave point alone, mostly.David Aspinall
1998-10-12Bug in variable namesDavid Aspinall
1998-10-12Added more stuff from todoDavid Aspinall
1998-10-12Simplified appearance of buttons as suggested by tms.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:33:56 +0000