diff options
author | John Wiegley <johnw@newartisans.com> | 2016-03-07 07:16:04 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2016-03-07 07:16:04 -0800 |
commit | 0ee75214f336474e127c2e3546c0406a0c4d5fa7 (patch) | |
tree | b7c7d50a4528b9fc5f64750b84eb56ec793be9fb /pkgs/applications/misc/pytrainer/default.nix | |
parent | 046e5011b42c8abad6005762185448ba53f23845 (diff) |
proofgeneral_HEAD: New expr: Proof General from GitHub
Diffstat (limited to 'pkgs/applications/misc/pytrainer/default.nix')
0 files changed, 0 insertions, 0 deletions