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/science | |
parent | 046e5011b42c8abad6005762185448ba53f23845 (diff) | |
download | nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.gz nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.bz2 nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.lz nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.xz nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.tar.zst nixlib-0ee75214f336474e127c2e3546c0406a0c4d5fa7.zip |
proofgeneral_HEAD: New expr: Proof General from GitHub
Diffstat (limited to 'pkgs/applications/science')
0 files changed, 0 insertions, 0 deletions