]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b377963) | patch
hSqlite3.ml used create_fun_2 to define REGEXP.
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 May 2007 16:22:49 +0000 (16:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 May 2007 16:22:49 +0000 (16:22 +0000)
commit5d5a1108d6c8198fc8425b914db803009941785a
tree8ce6279adcf652f1a3b5d48c41e5b3c6cab7bb01tree | snapshot
parentb3779638cd49747f4b71784fba57cfb0a56297f5commit | diff
hSqlite3.ml used create_fun_2 to define REGEXP.
this functions is not official, patch sent upstream
components/hmysql/hSqlite3.ml diff | blob | history
components/library/libraryClean.ml diff | blob | history
matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.