diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-17 14:51:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-17 14:51:35 +0100 |
commit | 5dc7a70f65f938613541fb18765e7b8f3b4e42cc (patch) | |
tree | 0dae99ca77e0a51c643e65ba3f3019ffd56800b2 /pkgs/applications/science/logic/isabelle | |
parent | 9758c498f97407dd4cd2a610e2f8f4dc34e0c77f (diff) | |
parent | c4ef846c924ce35567386f7de6753511948118d9 (diff) | |
download | nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.tar nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.tar.gz nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.tar.bz2 nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.tar.lz nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.tar.xz nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.tar.zst nixlib-5dc7a70f65f938613541fb18765e7b8f3b4e42cc.zip |
Merge pull request #38589 from badi/tlatools
Add TLAPS and TLA+ Toolbox
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
0 files changed, 0 insertions, 0 deletions