about summary refs log tree commit diff
path: root/pkgs/applications/editors/emacs-modes/proofgeneral
AgeCommit message (Expand)AuthorFilesLines
2018-02-08proofgeneral_HEAD: 2017-11-06 -> 2018-01-30Vincent Laporte1-3/+3
2017-11-16proofgeneral_HEAD: 2017-05-06 -> 2017-11-06Vincent Laporte1-3/+3
2017-05-25proofgeneral: revert needed deleted fileValentin Robert1-0/+16
2017-05-18proofgeneral_HEAD: fix for files removed upstreamValentin Robert2-21/+0
2017-05-11proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)Sophie Taylor1-6/+7
2017-05-09Use consistent package naming for HEAD.nix filesrht1-1/+2
2017-03-22proofgeneral_HEAD: BumpVincent Laporte1-2/+2
2017-02-11proofgeneral_HEAD: BumpShea Levy1-2/+2
2016-10-07ProofGeneral: remove legacy version 4.3preVincent Laporte1-53/+0
2016-10-05ProofGeneral: 4.2 -> 4.4Vincent Laporte2-54/+47
2016-09-05proofgeneral_HEAD: bumpShea Levy1-2/+2
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen1-1/+1
2016-03-07proofgeneral_HEAD: New expr: Proof General from GitHubJohn Wiegley1-0/+52
2015-07-21ProofGeneral: 4.3pre131011 -> 4.3pre150313Vincent Laporte2-4/+4
2014-11-06Turn more licenses into lib.licenses styleMateusz Kowalczyk1-1/+1
2014-09-28ProofGeneral: makes the dependency on TeXLive optionalVincent Laporte2-3/+24
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-2/+2
2014-06-20proofgeneral: Delete default.nix for proofgeneralJohn Wiegley1-54/+0
2014-06-20proofgeneral_4_3_pre: Add expression needed for current prooftreeJohn Wiegley2-0/+102
2013-04-23ProofGeneral: Workaround for bug #458Marco Maggesi1-0/+7
2013-03-24ProofGeneral: remove dead code (compatibility with emacs 23).Marco Maggesi1-3/+0
2013-03-19Update ProofGeneral to version 4.2Marco Maggesi1-4/+4
2012-06-12Make ProofGeneral build with Emacs 24.Karn Kallio1-0/+3
2011-12-13ProofGeneral 4.1Karn Kallio2-52/+11
2011-05-14ProofGeneral 4.0Marco Maggesi2-14/+56
2010-06-06Proof General: Build and install via the makefile.Ludovic Courtès1-13/+17
2009-12-11Add expression for ProofGeneralMarco Maggesi1-0/+42
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-04 23:45:31 +0000