]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3793947) | patch
Switching interpreter patched, addedd:
authornatile <??>
Tue, 22 Oct 2002 08:45:57 +0000 (08:45 +0000)
committernatile <??>
Tue, 22 Oct 2002 08:45:57 +0000 (08:45 +0000)
commit8a828144a6fe870f79603a47420d1fc3dd99071d
tree493b3c927e21d4590ecfc003a596d0e520ddc8betree | snapshot
parent37939472ad665d3c071bf53bf4f484744d6453e0commit | diff
Switching interpreter patched, addedd:
 postgres_db
 galax_db
 get_database
helm/ocaml/mathql_interpreter/mqint.ml diff | blob | history
helm/ocaml/mathql_interpreter/mqint.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.