]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2128fab) | patch
added a file useful to load all notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 May 2006 14:10:17 +0000 (14:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 May 2006 14:10:17 +0000 (14:10 +0000)
commitadeaf656f62574342585ccaf29554c3f3ed526f8
treee2fc924761e7d3b075575ad5a8ed2814420c3ba8tree | snapshot
parent2128fab91157cc06157cede44f8aa95a1acd453dcommit | diff
added a file useful to load all notation
(use include' and not include).
matita/library/library_notation.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.