aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-27Disable undo history for efficiency; improve kill buffer hook.David Aspinall
2002-08-27Menu entry to clear response buffers.David Aspinall
2002-08-27Disable undo history for efficiency; add clear response buffers function; cle...David Aspinall
2002-08-27Disable undo history for efficiency.David Aspinall
2002-08-27UpdatedDavid Aspinall
2002-08-26Updated.David Aspinall
2002-08-26Set version tag for new release.David Aspinall
2002-08-26Oops: has to be error to prevent killing, of course...David Aspinall
2002-08-26Try to prevent associated buffers being killed off by user.David Aspinall
2002-08-26Add example of sub/sup/bold in comment.David Aspinall
2002-08-26New files.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Tweaks to faces. Set visible default for tactics-name-face.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Set version tag for new release.David Aspinall
2002-08-16Print ProofDavid Aspinall
2002-08-16Mention span menu improvements.David Aspinall
2002-08-16Change order of menuDavid Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Use shared span menuDavid Aspinall
2002-08-16Add span menu for thm_depsDavid Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Identifier name changeDavid Aspinall
2002-08-16Updated.David Aspinall
2002-08-16UpdateDavid Aspinall
2002-08-16More infoDavid Aspinall
2002-08-16UpdatedDavid Aspinall
2002-08-16FormattingDavid Aspinall
2002-08-16Robustness against pg-subterm-start-char not being set.David Aspinall
2002-08-16Docstring.David Aspinall
2002-08-16Variable name changeDavid Aspinall
2002-08-16Add context menu extensions, query dependencies cmdDavid Aspinall
2002-08-16Name changes; span menu extensions; load theorem dependencies patch.David Aspinall
2002-08-16pg-goals -> pg-assocDavid Aspinall
2002-08-15Small fixesDavid Aspinall
2002-08-15RefactoringDavid Aspinall
2002-08-15Refactoring.David Aspinall
2002-08-15Fix autoloadDavid Aspinall
2002-08-15TypoDavid Aspinall
2002-08-15UpdatedDavid Aspinall
2002-08-15New files.David Aspinall
2002-08-15Play with markup.David Aspinall
2002-08-13proof-string-match-safe is even more safeDavid Aspinall
2002-08-13Dont force isatool to be foundDavid Aspinall
2002-08-12Updated.David Aspinall
2002-08-12Updated.David Aspinall
2002-08-12Set version tag for new release.David Aspinall
2002-08-12Tweak Pierres docsDavid Aspinall
2002-08-12Tweak Pierres docsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 14:21:44 +0000