3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/editors/emacs-modes/proofgeneral
Vincent Laporte 94828070ed ProofGeneral: makes the dependency on TeXLive optional
And fixes the default value of $PGHOME
2014-09-28 14:03:15 +01:00
..
4.2.nix Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
4.3pre.nix ProofGeneral: makes the dependency on TeXLive optional 2014-09-28 14:03:15 +01:00
pg.patch ProofGeneral: makes the dependency on TeXLive optional 2014-09-28 14:03:15 +01:00