]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/ocaml-http/TODO
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / ocaml-http / TODO
2003-01-10 Stefano Zacchiroliadded two TODO items:
2002-12-25 Stefano Zacchiroli- merged "post" branch
2002-12-06 Stefano Zacchirolisome done, some new todo!
2002-11-22 Stefano Zacchiroli- removed old entries from TODO
2002-11-22 Stefano Zacchiroli- added support for multithreaded daemons
2002-11-20 Stefano ZacchiroliTODO list