]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f438e9b) | 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)
commit834f5d5e341519cbb7c77b4fff5b0b3c7d425e6b
treede0a9cf719c6ad723209bd274b039fbeabf7bd41tree | snapshot
parentf438e9b0c8e43a66c56b17adeb8793042d0aade1commit | diff
hSqlite3.ml used create_fun_2 to define REGEXP.
this functions is not official, patch sent upstream
helm/software/components/hmysql/hSqlite3.ml diff | blob | history
helm/software/components/library/libraryClean.ml diff | blob | history
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.