aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-01-14Made indentation optional when replaing # by holes.Pierre Courtieu
2008-12-05Deleted fileDavid Aspinall
2008-12-05Deleted fileDavid Aspinall
2008-12-05merge develdownload.html with devel.htmlDavid Aspinall
2008-12-05Updated.David Aspinall
2008-12-05TweakDavid Aspinall
2008-12-05Set version tag for new release.David Aspinall
2008-12-05Linear undo commandDavid Aspinall
2008-12-05Some minimal updates for 4.0preDavid Aspinall
2008-12-05Fix extra @end defvarDavid Aspinall
2008-12-05Hyphen instead of emdash in faked longleftarrowDavid Aspinall
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
2008-10-02Fixing region access for emacs <= 22.Pierre Courtieu
2008-09-19Set version tag for new release.David Aspinall
2008-09-19Updated.David Aspinall
2008-09-18unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.David Aspinall
2008-09-18Fix by Stephan HoheDavid Aspinall
2008-08-06DocumentationDavid Aspinall
2008-08-06CommentDavid Aspinall
2008-08-05unicode-tokens-initialise: initialise menu here too rather than at top levelDavid Aspinall
2008-08-04Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...David Aspinall
2008-08-03Fix tokensDavid Aspinall
2008-08-03Fix type in calls to toggle functionsDavid Aspinall
2008-08-03Disable subterm markup removalDavid Aspinall
2008-08-03pg-response-display: disable subterm markup removalDavid Aspinall
2008-08-03Add links to splash menuDavid Aspinall
2008-08-03Make proof-locked-face much lighterDavid Aspinall
2008-08-03Updated.David Aspinall
2008-08-03Change for locked face colourDavid Aspinall
2008-08-03Remove XEmacs package, now single RPM.David Aspinall
2008-08-03Updates for 4.0David Aspinall
2008-07-24Fixed the bug with coq-guess-command-line.Pierre Courtieu
2008-07-24Fix for deferred loading of maths menu.David Aspinall
2008-07-24Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.David Aspinall
2008-07-24Fix for deferred loading of maths menu and unicode tokens.David Aspinall
2008-07-24unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ...David Aspinall
2008-07-24Allow generating variants of given fonts tooDavid Aspinall
2008-07-24Note about Emacs.appDavid Aspinall
2008-07-24Add back lost provideDavid Aspinall
2008-07-24*** empty log message ***David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-24Set version tag for new release.David Aspinall
2008-07-24Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233David Aspinall
2008-07-24Load proof-autoloads earlierDavid Aspinall
2008-07-23Updated.David Aspinall
2008-07-23Fix versionDavid Aspinall
2008-07-23Set version tag for new release.David Aspinall
2008-07-22Add Graham DuttonDavid Aspinall
2008-07-22Set version tag for new release.David Aspinall
2008-07-22Deleted fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 11:49:34 +0000