]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f81860f) | patch
matita.conf.xml.sample now has a @@OWNER@@ so that sed is easy
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 24 Jun 2005 09:01:30 +0000 (09:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 24 Jun 2005 09:01:30 +0000 (09:01 +0000)
commit1f6509593d89bf91237cceb1ace0be4fdbf4335c
tree61d7e811fa7593c616302bd19fd882d8477dda54tree | snapshot
parentf81860fd2d2c23d53b58873a1d0e3feaa0247b92commit | diff
matita.conf.xml.sample now has a @@OWNER@@ so that sed is easy
helm/matita/matita.conf.xml.sample diff | blob | history
helm/matita/scripts/profile_cvs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.