]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter/http_getter.ml
- optimization: precompile all precompilable regexps
[helm.git] / helm / http_getter / http_getter.ml
2003-01-07 Stefano Zacchiroli- optimization: precompile all precompilable regexps
2003-01-05 Stefano Zacchiroli- added a TODO comment for 'file://' scheme support
2002-12-27 Stefano Zacchiroli- changed copyright year to 2003
2002-12-27 Stefano Zacchiroli- precompiled some regexps
2002-12-26 Stefano Zacchirolicatch CTRL-C and save maps before quitting
2002-12-26 Stefano Zacchiroli- bugfix: shows all log while doing 'update'
2002-12-26 Stefano Zacchiroli- added maps sync
2002-12-26 Stefano Zacchiroli- removed some debugging prints
2002-12-25 Stefano Zacchiroliadded http_getter OCaml implementation