aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-10-27gitignore for doc subdirHendrik Tews
2016-10-27delete TAGS file from repositoryHendrik Tews
2016-10-27fix parallel compilation and improve assertions and debugging codeHendrik Tews
- fixes #92
2016-10-16Update CHANGES.Erik Martin-Dorel
Related: ProofGeneral/PG#41
2016-10-15Follow-up of #115.Erik Martin-Dorel
2016-10-14Merge pull request #115 from tchajed/macos-rebrandingErik Martin-Dorel
Refer to Apple's operating system as macOS
2016-10-14Refer to Apple's operating system as macOSTej Chajed
Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X.
2016-09-28Makefile: don't depend on pwdClément Pit--Claudel
2016-09-28Make it possible to work around #113Clément Pit--Claudel
2016-09-25proof-retract-before-change: Fix #41 by saving/restoring the match data.Erik Martin-Dorel
2016-09-24Update .travis.yml.Erik Martin-Dorel
2016-09-23Disable parallel build, to workaround the issue raised in PR #112.Erik Martin-Dorel
2016-09-19Make shell and perl scripts executable.Erik Martin-Dorel
This addresses part of the issues pointed out in #112
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-09-18Comment-out the rcsid ($Id$) that dates from CVS.Erik Martin-Dorel
2016-09-18Detail.Erik Martin-Dorel
2016-09-18Promote CHANGES since 2820cb68 as related to PG 4.4.Erik Martin-Dorel
2016-09-16Fix reference to log-warning-minimum-levelpsteckler
Fixes #110.
2016-08-25Ensure PG overlays have pg-span property (#98)Tej Chajed
2016-08-14Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).Erik Martin-Dorel
2016-08-14Replace "Set Implicit Arguments" option with "Set Printing Implicit".Erik Martin-Dorel
Closes #99.
2016-08-14Add Reserved Infix like Reserved Notation (#95)Jason Gross
2016-07-26Fix whitespace to comply with Markdown syntax.Erik Martin-Dorel
2016-07-26Rename FAQ -> FAQ.mdErik Martin-Dorel
2016-07-23Add documentation about the recommended way to set coq-prog-name.Erik Martin-Dorel
2016-07-23Run "make magic" to update texi comments from elisp docstrings.Erik Martin-Dorel
2016-07-23Add myself to the list of maintainers.Erik Martin-Dorel
2016-07-22Adding the option to highlight susual symbols.Pierre Courtieu
This may look ugly to the majority, so I let it off by default. I find it helpfull to have structuring symbols bold.
2016-07-20Merge pull request #87 from erikmd/patch-1Pierre Courtieu
Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta)
2016-07-07Fix inforef references to the emacs manual. (#88)Yuval Langer
2016-07-04Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).Erik Martin-Dorel
2016-07-03Highlight Existing Class like Existing Instance (#85)Jason Gross
Closes #81
2016-07-03Add Travis CI badge.Erik Martin-Dorel
2016-07-03emacs-git Travis build: Fix URL of Emacs repo & Build against emacs-25 branch.Erik Martin-Dorel
Ref: https://github.com/FStarLang/fstar-mode.el/blob/master/Makefile.travis
2016-07-03Update README.md.Erik Martin-Dorel
- Specify the language for code excerpts - Refactor the "More info" section.
2016-07-03Update a link (for latest version of FAQ).Erik Martin-Dorel
2016-07-03Fix link.Erik Martin-Dorel
2016-07-01Highlight [nra] like [nia] and [lia] and [lra] (#84)Jason Gross
2016-06-23Fix a typoClément Pit--Claudel
2016-06-23Add myself to list of authorsClément Pit--Claudel
2016-06-23par-compile: Don't try to compile plugins (cm.*)Clément Pit--Claudel
2016-06-23Fix a type error hidden until recent emacs.Pierre Courtieu
2016-06-23Updating CHANGES.Pierre Courtieu
2016-06-23Coq: option to prefer top over bottom of concl.Pierre Courtieu
2016-06-18coq-load-path docs: norec -> nonrec (#79)Timothy Bourke
2016-06-10Reset proof-script-buffer to nil if -ready-prover failsClément Pit--Claudel
Fixes #65
2016-06-10Color lia, romega, nia, psatz, nsatz, lraJason Gross
This closes #77
2016-06-08abbrev twivking.Pierre Courtieu
2016-06-08Fixing font-locking of unicode forall etc.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-12 22:59:35 +0000