]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb54cf0) | patch
theory:path/index.theory are not rewritten to theory:/path.theory
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 31 May 2004 10:56:06 +0000 (10:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 31 May 2004 10:56:06 +0000 (10:56 +0000)
commit1fd0f95688fb4a8fb612d1164501030588f22a62
treefcfc5a727ac0304a4a00f9f60a2a336cb4bebacbtree | snapshot
parentcb54cf0485d2df551ad674ee3beb087ef6f90a3ccommit | diff
theory:path/index.theory are not rewritten to theory:/path.theory
if theory:path/index.theory exists in the database.
helm/ocaml/getter/http_getter_map.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.