matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/ocaml-http/Makefile

]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/ocaml-http/Makefile

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / DEVEL / ocaml-http / Makefile

2002-12-25	Stefano Zacchiroli	- bugfix: installs also cmi for modules which doesn...	blob \| commitdiff \| raw
2002-12-25	Stefano Zacchiroli	- set ocamldoc to look in netstring directory so that...	blob \| commitdiff \| raw \| diff to current
2002-12-25	Stefano Zacchiroli	- merged "post" branch	blob \| commitdiff \| raw \| diff to current
2002-12-25	Stefano Zacchiroli	when making 'dist' remove old spurious dist directories	blob \| commitdiff \| raw \| diff to current
2002-12-04	Stefano Zacchiroli	- added deb target	blob \| commitdiff \| raw \| diff to current
2002-12-03	Stefano Zacchiroli	added Http_constants module	blob \| commitdiff \| raw \| diff to current
2002-12-02	Stefano Zacchiroli	bugfix: install also _mt objects	blob \| commitdiff \| raw \| diff to current
2002-12-01	Stefano Zacchiroli	- added mt and non_mt dirs to dist stuff	blob \| commitdiff \| raw \| diff to current
2002-12-01	Stefano Zacchiroli	- split threaded and non threaded implementations	blob \| commitdiff \| raw \| diff to current
2002-11-22	Stefano Zacchiroli	- added targets relative to ocamldoc doc generation	blob \| commitdiff \| raw \| diff to current
2002-11-17	Stefano Zacchiroli	renamed tcp_server module in http_tcp_server to avoid...	blob \| commitdiff \| raw \| diff to current
2002-11-17	Stefano Zacchiroli	- split http_parser module (all code that parse http...	blob \| commitdiff \| raw \| diff to current
2002-11-14	Stefano Zacchiroli	no longer use -pack and Http.*, now interface is the...	blob \| commitdiff \| raw \| diff to current
2002-11-14	Stefano Zacchiroli	Now use cm{,x}a	blob \| commitdiff \| raw \| diff to current
2002-11-13	Stefano Zacchiroli	added ocaml-http 0.0.1	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.