Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix remaining uses of CL; Make files more declarative | Stefan Monnier | 2018-12-14 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Emacs occasionally loads Elisp files just to get more info (e.g. for C-h f), so loading a file should "no effect". Fix the most obvious such effects: the splash screen and the autotests by moving those effects into a function. * coq/coq-autotest.el: Make it declarative. Use lexical-binding. (coq-autotest): New function holding the code that used to be at top-level. * generic/proof.el: Use lexical-binding. Don't call proof-splash-message just because we're being loaded. * generic/proof-script.el: Use lexical-scoping; fix all warnings. (pg-show-all-portions): Simplify the code with a closure. (proof-activate-scripting): Declare activated-interactively as dyn-scoped. (proof--splash-done): New var. (proof-mode): Call proof-splash-message upon first use. * generic/proof-splash.el (proof-splash-message): Don't check byte-compile-current-file now that we're only called when the mode is activated. * acl2/acl2.el (auto-mode-alist): Use `add-to-list` and \'. * coq/coq-db.el (coq-build-menu-from-db-internal): Avoid silly O(N²). * coq/coq-seq-compile.el: * coq/coq-par-test.el: * coq/coq-par-compile.el: Fix leftover uses of CL's `assert`. * generic/proof-utils.el: * generic/pg-movie.el: * etc/testsuite/pg-test.el: * coq/coq-syntax.el: Fix leftover uses of CL's `incf`. * generic/pg-autotest.el: Fix leftover uses of CL's `decf`. * obsolete/plastic/plastic.el (plastic-preprocessing): Fix leftover use of CL's `loop`. * generic/pg-user.el (proof-add-completions): Do nothing if no proof-assistant is set yet (i.e. during byte-compilation). (byte-compile-current-file): No need to test this any more. * generic/proof-syntax.el (proof-regexp-alt-list): Use mapconcat. Remove unnecessary "\\(?:...\\)". (proof-regexp-alt): Redefine in terms of proof-regexp-alt-list. | ||
* | Bump version from 4.4.1~pre to 4.5-git | Erik Martin-Dorel | 2018-08-22 |
| | | | | This commit ensures the version number is (version-to-list)-compliant. | ||
* | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
| | |||
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | Paul Steckler | 2017-05-24 |
| | |||
* | Remove compile-time calls to proof-ready-for-assistant | Clément Pit--Claudel | 2017-03-08 |
| | | | | | Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el. | ||
* | fix icon installation and add 64 and 128 square icons (fixes #141) | Hendrik Tews | 2017-01-17 |
| | |||
* | Bump version number for next release cycle. | Erik Martin-Dorel | 2016-09-19 |
| | |||
* | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | 2016-09-18 |
| | |||
* | Update PG's logo | Clément Pit--Claudel | 2016-05-24 |
| | | | | | | | The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! | ||
* | More version number fixes | Clément Pit--Claudel | 2016-02-13 |
| | |||
* | Summary: Experimental Dockerfile | David Aspinall | 2015-03-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 2015-03-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 2015-02-02 |
| | |||
* | Set version tag for new release. | David Aspinall | 2015-01-05 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-10-11 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-07-17 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-07-05 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-05-22 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-05-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-03-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2013-01-11 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-10-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-10-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-09-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-09-04 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-09-02 |
| | |||
* | Illustrat Trac #447 | David Aspinall | 2012-08-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-08-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-08-09 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-07-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-07-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-06-05 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-04-30 |
| | |||
* | Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵ | David Aspinall | 2012-04-30 |
| | | | | without installing STIX. | ||
* | Set version tag for new release. | David Aspinall | 2012-04-11 |
| | |||
* | remove deprecated desktop keys | Hendrik Tews | 2012-03-05 |
| | |||
* | Test examples for HOL Light | David Aspinall | 2012-02-08 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-02-06 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-01-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-01-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2012-01-04 |
| | |||
* | Add big Integral | David Aspinall | 2011-12-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2011-12-07 |
| | |||
* | Set version tag for new release. | David Aspinall | 2011-10-17 |
| | |||
* | Set version tag for new release. | David Aspinall | 2011-10-13 |
| | |||
* | Note on how to update base revision number (since I got it wrong on first try) | David Aspinall | 2011-10-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 2011-10-03 |
| | |||
* | updated tests to Isabelle2011-1; | Makarius Wenzel | 2011-09-28 |
| | |||
* | Clean up a little bit, adding extra syntax to make buffer process fully. | David Aspinall | 2011-09-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 2011-09-16 |
| |