matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 9725ce1) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 29 Jan 2007 10:43:50 +0000 (10:43 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 29 Jan 2007 10:43:50 +0000 (10:43 +0000)
commit	cd23dacd5bd9bae49840097b6635d98a17a569b2
tree	7ba3a684b81c294e5da1a2245d7e09cfef90d25d	tree \| snapshot
parent	9725ce192edbff9cc1c0af04a60065c1bfd31ca6	commit \| diff

preliminary cookie support

13 files changed:

helm/software/DEVEL/ocaml-http/.depend		diff \| blob \| history
helm/software/DEVEL/ocaml-http/Makefile		diff \| blob \| history
helm/software/DEVEL/ocaml-http/Makefile.defs		diff \| blob \| history
helm/software/DEVEL/ocaml-http/cookie_lexer.mli	[new file with mode: 0644]	blob
helm/software/DEVEL/ocaml-http/cookie_lexer.mll	[new file with mode: 0644]	blob
helm/software/DEVEL/ocaml-http/debian/changelog		diff \| blob \| history
helm/software/DEVEL/ocaml-http/examples/dump_args.ml		diff \| blob \| history
helm/software/DEVEL/ocaml-http/http_parser.ml		diff \| blob \| history
helm/software/DEVEL/ocaml-http/http_parser.mli		diff \| blob \| history
helm/software/DEVEL/ocaml-http/http_request.ml		diff \| blob \| history
helm/software/DEVEL/ocaml-http/http_request.mli		diff \| blob \| history
helm/software/DEVEL/ocaml-http/http_types.ml		diff \| blob \| history
helm/software/DEVEL/ocaml-http/http_types.mli		diff \| blob \| history

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