repositories / cc1516.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8651173) | patch
Working on inference for statements
authorpimjager <pim@pimjager.nl>
Fri, 29 Apr 2016 16:12:20 +0000 (18:12 +0200)
committerpimjager <pim@pimjager.nl>
Fri, 29 Apr 2016 16:12:20 +0000 (18:12 +0200)
commit8b4fd06c312726ab9b509e5978206c19ddb9cf04
tree4a6fd657c4e1f816500dacf94a1c1aead06ca32atree | snapshot
parent86511734bd44fb9025eb63db027aefb1bb465c10commit | diff
Working on inference for statements
sem.icl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.