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

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

2004-08-05	Stefano Zacchiroli	ported location handling to camlp4 3.08	commit \| commitdiff \| tree
2004-08-05	Stefano Zacchiroli	fixed some invalid backslash escapes	commit \| commitdiff \| tree
2004-08-05	Stefano Zacchiroli	fixed some illegal backslash escapes	commit \| commitdiff \| tree
2004-08-05	Stefano Zacchiroli	fixed .mli syntax for polymorphic methods (apparently...	commit \| commitdiff \| tree
2004-08-05	Stefano Zacchiroli	fixed some invalid backslash escapes	commit \| commitdiff \| tree
2004-07-29	Stefano Zacchiroli	(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08	commit \| commitdiff \| tree
2004-07-27	Stefano Zacchiroli	ported to ocaml 3.08	commit \| commitdiff \| tree
2004-07-26	Stefano Zacchiroli	ported debian stuff to ocaml 3.08	commit \| commitdiff \| tree
2004-07-05	Stefano Zacchiroli	Bug fixed: beta_expand did not perform any recursion...	commit \| commitdiff \| tree
2004-07-05	Stefano Zacchiroli	commeted out some debugging instructions	commit \| commitdiff \| tree
2004-07-05	Stefano Zacchiroli	commented out some debugging instructions	commit \| commitdiff \| tree
2004-07-01	Stefano Zacchiroli	New handling of substitution:	commit \| commitdiff \| tree
2004-07-01	Stefano Zacchiroli	added (commented) benchmarking code for the disambiguation...	commit \| commitdiff \| tree
2004-06-22	Stefano Zacchiroli	ugliness changes:	commit \| commitdiff \| tree
2004-06-17	Stefano Zacchiroli	bugfix: ignore proof checker output	commit \| commitdiff \| tree
2004-06-16	Stefano Zacchiroli	in the particular case of simple searches, Andrea atmost...	commit \| commitdiff \| tree
2004-05-26	Stefano Zacchiroli	bugfix in /ls: removed double trailing "/"	commit \| commitdiff \| tree
2004-05-26	Stefano Zacchiroli	ported to regexp based /ls method	commit \| commitdiff \| tree
2004-05-26	Stefano Zacchiroli	changed /ls method so that regular expressions are...	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	don't remove documentation on "make dist" so that documentat...	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	added hostname resolution entry	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	implemented hostname resolution for "addr" parameter	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	rewritten "start" comment, now is almost decent	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	emptied implementing all items	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	removed spurious messages	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	- ported to latest API	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	- added basic_auth.ml example	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	debian snapshot (towards a release)	commit \| commitdiff \| tree
2004-05-24	Stefano Zacchiroli	added OO interface	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added file locking while writing configuration to file...	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	open Helm_registry per default	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	bumped copyright years	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	Changed mapping keys <-> environment variables, mixed...	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	reverted code parameter on respond function to its...	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	written entry for 0.0.9	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	restyled API so that respond_* are statically typechecked	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	- changed API so that respond_* are statically type...	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added support for HEAD requests	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	http basic authentication example	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added support for HTTP (Basic) authentication	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	- added support for HTTP (Basic) authentication	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added some nested sections in order to test "ls" method	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	- added "has" method	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added helm-pxp, now needed	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	expanded content of old topfind	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	no longer needed	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added iterators over registry contents (fold, iter...	commit \| commitdiff \| tree
2004-05-17	Stefano Zacchiroli	Added support for xml base(s) URL and URI. The getter...	commit \| commitdiff \| tree
2004-05-17	Stefano Zacchiroli	first check in of statefulProofEngine	commit \| commitdiff \| tree
2004-05-17	Stefano Zacchiroli	bugfix: remove trailing slashes from dtd_base_urls	commit \| commitdiff \| tree
2004-05-13	Stefano Zacchiroli	changed proofStatus so that uri component is optional...	commit \| commitdiff \| tree
2004-05-04	Stefano Zacchiroli	snapshot (notably: first working version of the console)	commit \| commitdiff \| tree
2004-05-04	Stefano Zacchiroli	- moved up in the grammar precedences command entry...	commit \| commitdiff \| tree
2004-05-04	Stefano Zacchiroli	removed traliling dot in command pretty printer, now...	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	added Abort and Check commands	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	embedded commands ast into tacticals ast	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	- moved command as sub-entries of tactical grammars...	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	- moved applyTransformation initialization code to...	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	moved here initialization code (previously in gTopLevel...	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	- added a configuration variable for selecting between...	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	added a TODO comment	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	added extra "id" parameter for input_or_locate_uri...	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	- split logic operators away from aritmetic ones so...	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	removed file:// prefix from local_library key, hopefully...	commit \| commitdiff \| tree
2004-04-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	added (and used) some type shorthands	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	- added some type shorthands	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	rebuit	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	added /help method (needed by respawner)	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	added .cvsignore	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	detects and uses {ocamlc,ocamlopt}.opt when available	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	detect and use {ocamlc,ocamlopt}.opt when they are...	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	exported term_of_uri	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	added helmLibraryObjects.mli mention	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	added .mli	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	got rid of a ~status label	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	got rid of ~status label	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	got rid of ~status label so that tactics can now be...	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	added ocamlfind library checks to configure.ac	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	ignore Makefile since now it's generated by configure	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added Makefile.in	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	reorganized metas so that pxp is references only through...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added hbugs' (client) meta	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	generalized META.* ignoring	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- reordered modules so that pxp could be used as entry...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	use PxpHelmConf	commit \| commitdiff \| tree
next

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

RSS Atom