]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aeb07f9) | patch
added .theory check
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 24 May 2005 14:15:06 +0000 (14:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 24 May 2005 14:15:06 +0000 (14:15 +0000)
commit58cf4ea0d6c47a940715dba1844588897772d53a
treee41a5cb1a76549b482b4a8c9f8330d6847e456b6tree | snapshot
parentaeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62commit | diff
added .theory check
helm/ocaml/getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.