aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-29Updated.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updating branchDavid Aspinall
2002-08-29Updating branch for new version number.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29New files.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Make C-c C-w appear on binding listDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Dependencies classed as experimental.David Aspinall
2002-08-29Update magicDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Simplify byte comp, notes of brokenness.David Aspinall
2002-08-29New files.David Aspinall
2002-08-29New theorem deps settingsDavid Aspinall
2002-08-29AF2 eradicateDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Simplify menu structure further by adding Advanced menu.David Aspinall
2002-08-29Update magicDavid Aspinall
2002-08-29News about 3.4; links to download.David Aspinall
2002-08-29Fix calls on proof-defshortcutDavid Aspinall
2002-08-28Fix interactive posnDavid Aspinall
2002-08-28Comments: possible fix to compiles.David Aspinall
2002-08-28Fix for docstrings in proof-def-shortcut, proof-def-invisible.David Aspinall
2002-08-28Alternative version of proof-ass macro to support byte-compiled files.David Aspinall
2002-08-28checkdoc induced docstring tweaks.David Aspinall
2002-08-28Change to proof-shell-theorem-dependency-regexp; also add code to make nested...David Aspinall
2002-08-28Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...David Aspinall
2002-08-28Borrowed as exampleDavid Aspinall
2002-08-28Compatibility fixes from Stefan Monnier.David Aspinall
2002-08-28Add missing semicolon.David Aspinall
2002-08-28Deleted fileDavid Aspinall
2002-08-28Patch from Stefan Monnier for syntax highlighting.David Aspinall
2002-08-28Update dir entries, remove localdir fileDavid Aspinall
2002-08-28Patch from Stefan Monnier <monnier+gnu/emacs@rum.cs.yale.edu> for Info config.David Aspinall
2002-08-28Add proof-shell-theorem-dependency-list-splitDavid Aspinall
2002-08-28Docstring/CR from stefans patchDavid Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-28Exercise bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-28Fix bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-28Mention support@proofgeneral.org address.David Aspinall
2002-08-28Update intros.David Aspinall
2002-08-28Contact in case of probs.David Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 15:09:27 +0000