Files
nixpkgs/pkgs/applications/editors
John Wiegley 3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral
proofgeneral_4_3_pre: Add expression needed for current prooftree
2014-06-21 09:22:29 -07:00
..
2012-09-14 23:24:10 +02:00
2013-09-28 22:57:14 +08:00
2013-08-26 14:52:22 +02:00
2013-08-16 23:45:01 +02:00
2014-05-31 20:39:48 +00:00
2013-12-12 03:11:33 +02:00
2013-12-12 03:11:34 +02:00
2014-06-01 18:29:27 +02:00
2014-01-03 14:31:57 +01:00
2012-07-31 16:30:50 -04:00
2014-03-11 18:36:16 +01:00
2013-07-05 14:45:58 +02:00
2013-10-06 12:01:38 +02:00
2013-12-14 17:59:57 +02:00
2014-02-07 13:20:52 +01:00
2013-08-21 01:23:40 +02:00
2014-01-23 10:35:02 +01:00
2013-08-16 23:45:01 +02:00
2013-08-14 09:23:15 +08:00
2014-06-07 20:22:58 +00:00
2014-06-07 21:33:46 +02:00
2013-08-16 23:45:01 +02:00