aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Added displaying of the number of goals in the modeline.Gravatar Pierre Courtieu2008-01-28
* Fixed indentation and goal display.Gravatar Pierre Courtieu2008-01-28
* Fixed a problem with a wrong side effect on syntax databases (whenGravatar Pierre Courtieu2008-01-28
* Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...Gravatar David Aspinall2008-01-25
* Remove use of proof-assGravatar David Aspinall2008-01-24
* Updated.Gravatar David Aspinall2008-01-24
* New files.Gravatar David Aspinall2008-01-24
* Missing parenGravatar David Aspinall2008-01-24
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-16
* Remove coq-utf-safeGravatar David Aspinall2008-01-15
* Deleted fileGravatar David Aspinall2008-01-15
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* Fixed the "proof completed" regexp.Gravatar Pierre Courtieu2008-01-03
* Require for defface macroGravatar David Aspinall2007-12-14
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Attempt to fix compile problemsGravatar David Aspinall2007-12-14
* Improve loading; these tests are not functioning yetGravatar David Aspinall2007-12-14
* coq-goal-command-str-p: Fix suspected typo shown up by compile warning.Gravatar David Aspinall2007-12-14
* Bind coqdoc-html to C-c % w to avoid clash with help key.Gravatar David Aspinall2007-12-13
* New files.Gravatar David Aspinall2007-12-13
* Renamed fileGravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-13
* Deleted fileGravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-12
* Added a sample file for utf8.Gravatar Pierre Courtieu2007-12-12
* Compatibility with coq trunk where some special symbols are removed.Gravatar Pierre Courtieu2007-12-12
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* Fixup some compile warningsGravatar David Aspinall2007-12-09
* Print Coercions added to coq-syntaxGravatar Assia Mahboubi2007-12-07
* Corollary added to Coq startersGravatar Assia Mahboubi2007-12-05
* coq solve tacs modifiedGravatar Assia Mahboubi2007-11-30
* colouring for Reserved NotationsGravatar Assia Mahboubi2007-11-26
* removed 'by'form coq-reserved and added it to coq-solve-tacticsGravatar Assia Mahboubi2007-11-20
* adding coq-solve tacticsGravatar Assia Mahboubi2007-11-20
* coq-user-reserved-db addedGravatar Assia Mahboubi2007-11-16
* test commit : added Structure to coq-defn-dbGravatar Assia Mahboubi2007-11-16
* Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160Gravatar David Aspinall2007-11-12
* fixing small font-lock bug with ssreflect syntax.Gravatar Pierre Courtieu2007-11-08
* Debugging font-lock regexp.Gravatar Pierre Courtieu2007-11-07
* Menu are now correctly sorted.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexp.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexps. Bad order: longer regexp should be putGravatar Pierre Courtieu2007-11-07
* Fixed colorization bugs reported by Assai MAhboubi, this commit isGravatar Pierre Courtieu2007-10-30
* Fixed small colorizing bugs (when keywords contain sub words colorizedGravatar Pierre Courtieu2007-10-30
* Bug fixed. Reported by Assia Mahboubi.Gravatar Pierre Courtieu2007-10-30
* Fixed a bug on custom vars (bad :type) + Added a customizable user varGravatar Pierre Courtieu2007-10-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 17:52:12 +0000