aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Updated.Gravatar David Aspinall2008-01-15
* Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is s...Gravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2008-01-15
* Remove coq-utf-safeGravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2008-01-15
* Updated.Gravatar David Aspinall2008-01-15
* Deleted fileGravatar David Aspinall2008-01-15
* Set version tag for new release.Gravatar David Aspinall2008-01-15
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* New files.Gravatar David Aspinall2008-01-15
* New files.Gravatar David Aspinall2008-01-15
* Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- s...Gravatar David Aspinall2008-01-14
* New files.Gravatar David Aspinall2008-01-14
* Remove font lock settings for nowGravatar David Aspinall2008-01-14
* New files.Gravatar David Aspinall2008-01-13
* UpdateGravatar David Aspinall2008-01-05
* Deleted fileGravatar David Aspinall2008-01-05
* Updated.Gravatar David Aspinall2008-01-05
* Deleted fileGravatar David Aspinall2008-01-05
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* Fixed the "proof completed" regexp.Gravatar Pierre Courtieu2008-01-03
* Fixed something wrong. Probably a file missing (proof-system.el ?).Gravatar Pierre Courtieu2008-01-03
* Deleted fileGravatar David Aspinall2007-12-14
* Prevent magic during distGravatar David Aspinall2007-12-14
* Ignore errors in bytecompGravatar David Aspinall2007-12-14
* Let broken compilation proceed for nowGravatar David Aspinall2007-12-14
* Require for defface macroGravatar David Aspinall2007-12-14
* Allow blank lines in quoted regions again.Gravatar David Aspinall2007-12-14
* Update docstring magicGravatar David Aspinall2007-12-14
* More doc tidyGravatar David Aspinall2007-12-14
* Remove ancient idea for proof-atomic-sequence-listsGravatar David Aspinall2007-12-14
* Cleanups with M-x checkdoc.Gravatar David Aspinall2007-12-14
* Fix matching of quoted regions with empty linesGravatar David Aspinall2007-12-14
* More email -> trac renamesGravatar David Aspinall2007-12-14
* Set version tag for new release.Gravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-14
* Move x-symbol-isabelle -> x-symbol-isar to simplify setup.Gravatar David Aspinall2007-12-14
* Deleted fileGravatar David Aspinall2007-12-14
* New files.Gravatar David Aspinall2007-12-14
* Typo in pg-special-char-regexpGravatar David Aspinall2007-12-14
* Add compilation dependencyGravatar David Aspinall2007-12-14
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-14
* Be stricter about byte compilation: compile separately and halt on errorsGravatar David Aspinall2007-12-14
* Removed fileGravatar David Aspinall2007-12-14
* Move x-symbol-language hereGravatar David Aspinall2007-12-14
* Cleanup coding system setting, commentsGravatar David Aspinall2007-12-14
* Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...Gravatar David Aspinall2007-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 07:35:19 +0000