index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Updated.
David Aspinall
2009-04-16
*
Set version tag for new release.
David Aspinall
2009-04-16
*
fixed a bug with region-exists-p not defined in some emacsen.
Pierre Courtieu
2009-04-16
*
isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...
Makarius Wenzel
2009-03-31
*
eliminated obsolete non-ASCII specials;
Makarius Wenzel
2009-03-31
*
recovered proof-shell-process-urgent-message, by re-introducing commented-out...
Makarius Wenzel
2009-03-31
*
fixed spelling;
Makarius Wenzel
2009-03-31
*
fixed a bad interaction with Coq -R option
Assia Mahboubi
2009-03-17
*
Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...
David Aspinall
2009-03-10
*
Made indentation optional when replaing # by holes.
Pierre Courtieu
2009-01-14
*
Deleted file
David Aspinall
2008-12-05
*
Deleted file
David Aspinall
2008-12-05
*
merge develdownload.html with devel.html
David Aspinall
2008-12-05
*
Updated.
David Aspinall
2008-12-05
*
Tweak
David Aspinall
2008-12-05
*
Set version tag for new release.
David Aspinall
2008-12-05
*
Linear undo command
David Aspinall
2008-12-05
*
Some minimal updates for 4.0pre
David Aspinall
2008-12-05
*
Fix extra @end defvar
David Aspinall
2008-12-05
*
Hyphen instead of emdash in faked longleftarrow
David Aspinall
2008-12-05
*
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-10-22
*
Fixing region access for emacs <= 22.
Pierre Courtieu
2008-10-02
*
Set version tag for new release.
David Aspinall
2008-09-19
*
Updated.
David Aspinall
2008-09-19
*
unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.
David Aspinall
2008-09-18
*
Fix by Stephan Hohe
David Aspinall
2008-09-18
*
Documentation
David Aspinall
2008-08-06
*
Comment
David Aspinall
2008-08-06
*
unicode-tokens-initialise: initialise menu here too rather than at top level
David Aspinall
2008-08-05
*
Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...
David Aspinall
2008-08-04
*
Fix tokens
David Aspinall
2008-08-03
*
Fix type in calls to toggle functions
David Aspinall
2008-08-03
*
Disable subterm markup removal
David Aspinall
2008-08-03
*
pg-response-display: disable subterm markup removal
David Aspinall
2008-08-03
*
Add links to splash menu
David Aspinall
2008-08-03
*
Make proof-locked-face much lighter
David Aspinall
2008-08-03
*
Updated.
David Aspinall
2008-08-03
*
Change for locked face colour
David Aspinall
2008-08-03
*
Remove XEmacs package, now single RPM.
David Aspinall
2008-08-03
*
Updates for 4.0
David Aspinall
2008-08-03
*
Fixed the bug with coq-guess-command-line.
Pierre Courtieu
2008-07-24
*
Fix for deferred loading of maths menu.
David Aspinall
2008-07-24
*
Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.
David Aspinall
2008-07-24
*
Fix for deferred loading of maths menu and unicode tokens.
David Aspinall
2008-07-24
*
unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ...
David Aspinall
2008-07-24
*
Allow generating variants of given fonts too
David Aspinall
2008-07-24
*
Note about Emacs.app
David Aspinall
2008-07-24
*
Add back lost provide
David Aspinall
2008-07-24
*
*** empty log message ***
David Aspinall
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
[next]