aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2002-08-16FormattingDavid Aspinall
2002-08-16Robustness against pg-subterm-start-char not being set.David Aspinall
2002-08-16Docstring.David Aspinall
2002-08-16Add context menu extensions, query dependencies cmdDavid 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-13proof-string-match-safe is even more safeDavid Aspinall
2002-08-12Set version tag for new release.David Aspinall
2002-08-12Abstract more functions from concrete cases.David Aspinall
2002-08-12Patch for XEmacs 20.4 compat [incomplete?].David Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-12NoteDavid Aspinall
2002-08-12Fix for moving span duplicable prob. Still not really workingDavid Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-09Set version tag for new release.David Aspinall
2002-08-09DocDavid Aspinall
2002-08-09Fix proof-disappearing-proofs; commentsDavid Aspinall
2002-08-09Refactor proof-done-advancing by abstracting out new functions; fixes for aut...David Aspinall
2002-08-09Add menu entry for toggling visibilityDavid Aspinall
2002-08-09Add span-property-safeDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Set version tag for new release.David Aspinall
2002-08-08Fix dep highlighting for Emacs 21 by setting priorities.David Aspinall
2002-08-08Enable exper features for pre-releases automatically.David Aspinall
2002-08-08Add span context menu support for Emacs21.David Aspinall
2002-08-08Fix autoload for context menu; add proof-shell-show-dependency-cmd.David Aspinall
2002-08-08Prevent proof spans being duplicated.David Aspinall
2002-08-08DocstringDavid Aspinall
2002-08-08Fix condition for displaying dependency menuDavid Aspinall
2002-08-08Tweak menu; add proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08UpdatedDavid Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-08Use glyph for hidden proofs; add open isearch props; tweak element handling fns.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-08-08Added lclam proof site entryDavid Aspinall
2002-08-07Fix docsDavid Aspinall
2002-08-07Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-08-07Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...David Aspinall
2002-08-07Set version tag for new release.David Aspinall
2002-08-07Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.David Aspinall
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-08-07Add require, fix menu capitalization.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 01:19:06 +0000