about summary refs log tree commit diff
path: root/pkgs/applications/editors/emacs-modes/proofgeneral
Commit message (Expand)AuthorAge
* proofgeneral_HEAD: 2017-05-06 -> 2017-11-06Vincent Laporte2017-11-16
* proofgeneral: revert needed deleted fileValentin Robert2017-05-25
* proofgeneral_HEAD: fix for files removed upstreamValentin Robert2017-05-18
* proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)Sophie Taylor2017-05-11
* Use consistent package naming for HEAD.nix filesrht2017-05-09
* proofgeneral_HEAD: BumpVincent Laporte2017-03-22
* proofgeneral_HEAD: BumpShea Levy2017-02-11
* ProofGeneral: remove legacy version 4.3preVincent Laporte2016-10-07
* ProofGeneral: 4.2 -> 4.4Vincent Laporte2016-10-05
* proofgeneral_HEAD: bumpShea Levy2016-09-05
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* proofgeneral_HEAD: New expr: Proof General from GitHubJohn Wiegley2016-03-07
* ProofGeneral: 4.3pre131011 -> 4.3pre150313Vincent Laporte2015-07-21
* Turn more licenses into lib.licenses styleMateusz Kowalczyk2014-11-06
* ProofGeneral: makes the dependency on TeXLive optionalVincent Laporte2014-09-28
* Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
* proofgeneral: Delete default.nix for proofgeneralJohn Wiegley2014-06-20
* proofgeneral_4_3_pre: Add expression needed for current prooftreeJohn Wiegley2014-06-20
* ProofGeneral: Workaround for bug #458Marco Maggesi2013-04-23
* ProofGeneral: remove dead code (compatibility with emacs 23).Marco Maggesi2013-03-24
* Update ProofGeneral to version 4.2Marco Maggesi2013-03-19
* Make ProofGeneral build with Emacs 24.Karn Kallio2012-06-12
* ProofGeneral 4.1Karn Kallio2011-12-13
* ProofGeneral 4.0Marco Maggesi2011-05-14
* Proof General: Build and install via the makefile.Ludovic Courtès2010-06-06
* Add expression for ProofGeneralMarco Maggesi2009-12-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-18 21:05:36 +0000