]> matita.cs.unibo.it Git - helm.git/commit
- optimization: precompile all precompilable regexps
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 14:59:40 +0000 (14:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 14:59:40 +0000 (14:59 +0000)
commit2e41357d3d5cca73b3f91e83528d3758ca3e62db
tree3db8319a715a042d313449ac68b0c83db0792707
parentb077aa16b12755c2bace508154773efc9fa2320c
- optimization: precompile all precompilable regexps
helm/http_getter/http_getter.ml