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: ceede61) | 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	c55e18b2a3910bbb30f5138079dd1c68d6d0908e
tree	8604d0690fa5486adff14ca37adcba9a7bfbd95d	tree \| snapshot
parent	ceede617914347a8e39f4bddd3f4fc65efb0069e	commit \| diff

preliminary cookie support

13 files changed:

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

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