aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* FormattingGravatar David Aspinall2002-08-16
* Robustness against pg-subterm-start-char not being set.Gravatar David Aspinall2002-08-16
* Docstring.Gravatar David Aspinall2002-08-16
* Add context menu extensions, query dependencies cmdGravatar David Aspinall2002-08-16
* pg-goals -> pg-assocGravatar David Aspinall2002-08-16
* Small fixesGravatar David Aspinall2002-08-15
* RefactoringGravatar David Aspinall2002-08-15
* Refactoring.Gravatar David Aspinall2002-08-15
* Fix autoloadGravatar David Aspinall2002-08-15
* TypoGravatar David Aspinall2002-08-15
* UpdatedGravatar David Aspinall2002-08-15
* New files.Gravatar David Aspinall2002-08-15
* proof-string-match-safe is even more safeGravatar David Aspinall2002-08-13
* Set version tag for new release.Gravatar David Aspinall2002-08-12
* Abstract more functions from concrete cases.Gravatar David Aspinall2002-08-12
* Patch for XEmacs 20.4 compat [incomplete?].Gravatar David Aspinall2002-08-12
* DocstringGravatar David Aspinall2002-08-12
* NoteGravatar David Aspinall2002-08-12
* Fix for moving span duplicable prob. Still not really workingGravatar David Aspinall2002-08-12
* DocstringGravatar David Aspinall2002-08-12
* Set version tag for new release.Gravatar David Aspinall2002-08-09
* DocGravatar David Aspinall2002-08-09
* Fix proof-disappearing-proofs; commentsGravatar David Aspinall2002-08-09
* Refactor proof-done-advancing by abstracting out new functions; fixes for aut...Gravatar David Aspinall2002-08-09
* Add menu entry for toggling visibilityGravatar David Aspinall2002-08-09
* Add span-property-safeGravatar David Aspinall2002-08-09
* Generalise proof elements to include comments, show/hiding of comments.Gravatar David Aspinall2002-08-08
* Set version tag for new release.Gravatar David Aspinall2002-08-08
* Fix dep highlighting for Emacs 21 by setting priorities.Gravatar David Aspinall2002-08-08
* Enable exper features for pre-releases automatically.Gravatar David Aspinall2002-08-08
* Add span context menu support for Emacs21.Gravatar David Aspinall2002-08-08
* Fix autoload for context menu; add proof-shell-show-dependency-cmd.Gravatar David Aspinall2002-08-08
* Prevent proof spans being duplicated.Gravatar David Aspinall2002-08-08
* DocstringGravatar David Aspinall2002-08-08
* Fix condition for displaying dependency menuGravatar David Aspinall2002-08-08
* Tweak menu; add proof-shell-show-dependency-cmdGravatar David Aspinall2002-08-08
* UpdatedGravatar David Aspinall2002-08-08
* Allow favourite saving when user wants.Gravatar David Aspinall2002-08-08
* Use glyph for hidden proofs; add open isearch props; tweak element handling fns.Gravatar David Aspinall2002-08-08
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Added lclam proof site entryGravatar David Aspinall2002-08-08
* Fix docsGravatar David Aspinall2002-08-07
* Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...Gravatar David Aspinall2002-08-07
* Rename proof-dont-switch-windows -> proof-three-window-modeGravatar David Aspinall2002-08-07
* Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...Gravatar David Aspinall2002-08-07
* Set version tag for new release.Gravatar David Aspinall2002-08-07
* Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.Gravatar David Aspinall2002-08-07
* Add proof-shell-strip-crs-from-outputGravatar David Aspinall2002-08-07
* Reorganized menus; add options save function; fix capitalization of namesGravatar David Aspinall2002-08-07
* Add require, fix menu capitalization.Gravatar David Aspinall2002-08-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 11:09:35 +0000