]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 621cd75) | patch
anniversary push
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Mon, 16 Apr 2018 09:27:06 +0000 (11:27 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Mon, 16 Apr 2018 09:27:06 +0000 (11:27 +0200)
commitd59f344b1e4b377e2f06abd9f8856d686d21b222
treedbe02feae9e7605967560f979f934aaf5ea175a3tree | snapshot
parent621cd752af1ba6b277199c84986104c8119cfa6ccommit | diff
anniversary push

+ one more work citing\lambda\delta
+ more predefined virtuals
helm/www/lambdadelta/web/home/home.ldw.xml diff | blob | history
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.