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

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

2004-10-12	Stefano Zacchiroli	setting goal doesn't change history status	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	added new Utf8Macro module	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	Added -syntax support (if needed, use OCAMLC_P4 instead...	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	added utf8_macros	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	moved utf8 macro handling to the new module Utf8Macros	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	new module: expansion from tex like macros to utf8...	commit \| commitdiff \| tree
2004-10-06	Stefano Zacchiroli	snapshot (notably: implemented "check")	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	added dependency on helm-xmldiff	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	moved xmldiff in ocaml/	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- added xmldiff module	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	added Undo/Redo commands	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- fixed "Blue" vs "blue" typo	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- handle Box.Space in textual pretty printing	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- removed mandatory parens for application	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	"in" and "and" are now keywords	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	splitted History module out of StatefulProofEngine	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- splitted out History module	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	xmldiff's META	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	moved xmldiff module away from gTopLevel	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-09-29	Stefano Zacchiroli	bumped deps to 0.6.4	commit \| commitdiff \| tree
2004-09-29	Stefano Zacchiroli	bumped version to 0.6.4	commit \| commitdiff \| tree
2004-09-20	Stefano Zacchiroli	added initial_status	commit \| commitdiff \| tree
2004-09-20	Stefano Zacchiroli	fixed parse error for ocaml 3.08	commit \| commitdiff \| tree
2004-09-17	Stefano Zacchiroli	fixed cictheory:/ bug (thanks Lionel for the patch)	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	bumped deps on ocamlnet to 0.98	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	ported to ocamlnet 0.98	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	ported to latest lablgtkmathview	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	ported to pxp 1.1.95's event parser	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	added hyperlinks for getalluris/ in help message	commit \| commitdiff \| tree
2004-09-08	Stefano Zacchiroli	fixed some illegal backslash escapes	commit \| commitdiff \| tree
2004-08-27	Stefano Zacchiroli	ported to ocaml 3.08	commit \| commitdiff \| tree
2004-08-25	Stefano Zacchiroli	debian version 0.0.6-6	commit \| commitdiff \| tree
2004-08-25	Stefano Zacchiroli	debian version 0.6.3-2	commit \| commitdiff \| tree
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
next

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

RSS Atom