]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d74bdbd) | patch
allow to use "../foo/bar.ma" as a path for the include statement
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:06:26 +0000 (12:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:06:26 +0000 (12:06 +0000)
commitcf07c50b03a49344eb4cbe2e1bc18fcef880b9e9
treead11cf76956f3f30a01bdd8f0cbd7cd7d17b197atree | snapshot
parentd74bdbdea0586eaa764c53a22e2c660d5367d0d5commit | diff
allow to use "../foo/bar.ma" as a path for the include statement
helm/software/components/library/librarian.ml diff | blob | history
helm/software/components/library/librarian.mli diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.