]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c8e230) | patch
jet a change in dependences
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 9 Jan 2018 14:33:12 +0000 (15:33 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 9 Jan 2018 14:33:12 +0000 (15:33 +0100)
commitfdb80b08af83b86759833142456ce3c4f84cd80e
treeb478dff05b802c6c490bb1748c244d015469ef6btree | snapshot
parent1c8e230b1d81491b38126900d76201fb84303cedcommit | diff
jet a change in dependences
matita/matita/.depend.opt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.