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
*
Add serif token match
David Aspinall
2008-02-17
*
Fix clash with X-Symbol resulting in enabling then disabling symbols
David Aspinall
2008-02-17
*
Remove left over propertise experiment call; fixes #202
David Aspinall
2008-02-17
*
unicode-tokens: Experimental multiple font support
David Aspinall
2008-02-17
*
Set proof-shell-eager-annotation-start-length=2. This should have been
David Aspinall
2008-02-17
*
Update bug reporting address
David Aspinall
2008-02-15
*
tuned comment;
Makarius Wenzel
2008-02-13
*
Unicode tokens: support face changing via 'font-lock-face'
David Aspinall
2008-02-09
*
Set version tag for new release.
David Aspinall
2008-02-06
*
Updated.
David Aspinall
2008-02-06
*
Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)
David Aspinall
2008-02-06
*
proof-unicode-tokens-set-global: call proof-unicode-tokens-init.
David Aspinall
2008-02-06
*
Switch order of annotations and substitutions, to allow substitutions to contain
David Aspinall
2008-02-06
*
proof-quick-opts-vars: add <PA>-unicode-tokens-enable
David Aspinall
2008-02-06
*
Use proof-auxmodes to load auxiliary modes properly when required.
David Aspinall
2008-02-06
*
New files.
David Aspinall
2008-02-06
*
proof-ready-for-assistant: Only make ready for assistant once(!)
David Aspinall
2008-02-06
*
accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;
Makarius Wenzel
2008-02-06
*
Restore Emacs<=23 compatibility!
David Aspinall
2008-02-05
*
Remove ligature/latin1 symbols. Trim short cuts
David Aspinall
2008-02-05
*
New files.
David Aspinall
2008-02-04
*
Make display properties rear sticky. This is good for begin..end but not
David Aspinall
2008-02-04
*
Disable warnings.
David Aspinall
2008-02-04
*
Support Isabelle control sequences for subscripts/superscripts
David Aspinall
2008-02-04
*
Further configuration settings
David Aspinall
2008-02-04
*
Add mode documentation
David Aspinall
2008-02-04
*
Comments.
David Aspinall
2008-02-04
*
Go back to isabellesym.sty as master symbol list
David Aspinall
2008-02-04
*
Add some error checking to `unicode-tokens-token-name-alist'
David Aspinall
2008-02-03
*
Attempt at Emacs 23 compatibility, not quite working.
David Aspinall
2008-02-03
*
Updated.
David Aspinall
2008-02-03
*
Deleted file
David Aspinall
2008-02-03
*
Move to 3.7.1 pre-rel
David Aspinall
2008-02-03
*
coq:cutomizable bound variable highlight (finally working)
Assia Mahboubi
2008-02-01
*
Updated.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Update maintainers to add back the key person, 8-).
David Aspinall
2008-01-31
*
Update versions here.
David Aspinall
2008-01-31
*
Set version tag for new release.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Add another window system: w32 for win 32.
David Aspinall
2008-01-31
*
comment: proof-compat not needed for pg-defface-window-systems (but leave in ...
David Aspinall
2008-01-31
*
Revert last change, shell-command-to-string gives error when called
David Aspinall
2008-01-31
*
Use coq-prog-name when looking for library, not hard coded coqtop
David Aspinall
2008-01-31
*
Use proof-locate-executable so works out-of-the-box on Windows.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Fix date
David Aspinall
2008-01-31
*
Update note re Carbon Emacs
David Aspinall
2008-01-31
[next]