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

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

2004-10-13	Stefano Zacchiroli	added alias for cic_textual_parser2	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	snapshot, notably history no longer remember annotation...	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	transformations no longer use Content_expression, but...	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	pretty printed Absurd's term	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	added term argument to absurd	commit \| commitdiff \| tree \| snapshot
2004-10-13	Andrea Asperti	get_and_save now handles big files properly (i.e. doesn...	commit \| commitdiff \| tree \| snapshot
2004-10-12	Stefano Zacchiroli	ported to ocaml-http 0.0.10 (renamed Http_client -...	commit \| commitdiff \| tree \| snapshot
2004-10-12	Stefano Zacchiroli	setting goal doesn't change history status	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	added new Utf8Macro module	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	Added -syntax support (if needed, use OCAMLC_P4 instead...	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	added utf8_macros	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	moved utf8 macro handling to the new module Utf8Macros	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	new module: expansion from tex like macros to utf8...	commit \| commitdiff \| tree \| snapshot
2004-10-06	Stefano Zacchiroli	snapshot (notably: implemented "check")	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	added dependency on helm-xmldiff	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	moved xmldiff in ocaml/	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- added xmldiff module	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	added Undo/Redo commands	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- fixed "Blue" vs "blue" typo	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- handle Box.Space in textual pretty printing	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- removed mandatory parens for application	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	"in" and "and" are now keywords	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	splitted History module out of StatefulProofEngine	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- splitted out History module	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	xmldiff's META	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	moved xmldiff module away from gTopLevel	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-09-29	Stefano Zacchiroli	bumped deps to 0.6.4	commit \| commitdiff \| tree \| snapshot
2004-09-29	Stefano Zacchiroli	bumped version to 0.6.4	commit \| commitdiff \| tree \| snapshot
2004-09-28	Luca Padovani	* minor correction to make the new mathml widget work...	commit \| commitdiff \| tree \| snapshot
2004-09-28	Luca Padovani	* the transformations have been ported so to generate...	commit \| commitdiff \| tree \| snapshot
2004-09-27	Luca Padovani	* removed PREDICATES	commit \| commitdiff \| tree \| snapshot
2004-09-20	Stefano Zacchiroli	added initial_status	commit \| commitdiff \| tree \| snapshot
2004-09-20	Stefano Zacchiroli	fixed parse error for ocaml 3.08	commit \| commitdiff \| tree \| snapshot
2004-09-17	Ferruccio Guidi	meta_closed added	commit \| commitdiff \| tree \| snapshot
2004-09-17	Stefano Zacchiroli	fixed cictheory:/ bug (thanks Lionel for the patch)	commit \| commitdiff \| tree \| snapshot
2004-09-16	Claudio Sacerdoti...	The jsmenu is now under CVS.	commit \| commitdiff \| tree \| snapshot
2004-09-14	Luca Padovani	* the click signal now acts on both maction (MathML...	commit \| commitdiff \| tree \| snapshot
2004-09-09	Ferruccio Guidi	now should run also when the db is down (untested)	commit \| commitdiff \| tree \| snapshot
2004-09-09	Stefano Zacchiroli	bumped deps on ocamlnet to 0.98	commit \| commitdiff \| tree \| snapshot
2004-09-09	Stefano Zacchiroli	ported to ocamlnet 0.98	commit \| commitdiff \| tree \| snapshot
2004-09-09	Stefano Zacchiroli	ported to latest lablgtkmathview	commit \| commitdiff \| tree \| snapshot
2004-09-09	Stefano Zacchiroli	ported to pxp 1.1.95's event parser	commit \| commitdiff \| tree \| snapshot
2004-09-09	Stefano Zacchiroli	added hyperlinks for getalluris/ in help message	commit \| commitdiff \| tree \| snapshot
2004-09-08	Stefano Zacchiroli	fixed some illegal backslash escapes	commit \| commitdiff \| tree \| snapshot
2004-09-06	Ferruccio Guidi	bug in constraint generation for variables fixed	commit \| commitdiff \| tree \| snapshot
2004-09-06	Andrea Asperti	Corrected bug about the generation of constraitns:...	commit \| commitdiff \| tree \| snapshot
2004-09-01	Andrea Asperti	Bug fixing: the call to MQueryMisc.wrong_xpointer_forma...	commit \| commitdiff \| tree \| snapshot
2004-08-27	Stefano Zacchiroli	ported to ocaml 3.08	commit \| commitdiff \| tree \| snapshot
2004-08-25	Stefano Zacchiroli	debian version 0.0.6-6	commit \| commitdiff \| tree \| snapshot
2004-08-25	Stefano Zacchiroli	debian version 0.6.3-2	commit \| commitdiff \| tree \| snapshot
2004-08-05	Stefano Zacchiroli	ported location handling to camlp4 3.08	commit \| commitdiff \| tree \| snapshot
2004-08-05	Stefano Zacchiroli	fixed some invalid backslash escapes	commit \| commitdiff \| tree \| snapshot
2004-08-05	Stefano Zacchiroli	fixed some illegal backslash escapes	commit \| commitdiff \| tree \| snapshot
2004-08-05	Stefano Zacchiroli	fixed .mli syntax for polymorphic methods (apparently...	commit \| commitdiff \| tree \| snapshot
2004-08-05	Stefano Zacchiroli	fixed some invalid backslash escapes	commit \| commitdiff \| tree \| snapshot
2004-07-31	Luca Padovani	* porting to gtkmathview 0.6.3	commit \| commitdiff \| tree \| snapshot
2004-07-30	Luca Padovani	* fixed bug of multiple selections	commit \| commitdiff \| tree \| snapshot
2004-07-29	Stefano Zacchiroli	(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08	commit \| commitdiff \| tree \| snapshot
2004-07-27	Luca Padovani	* update to version 0.6.4 of the widget	commit \| commitdiff \| tree \| snapshot
2004-07-27	Stefano Zacchiroli	ported to ocaml 3.08	commit \| commitdiff \| tree \| snapshot
2004-07-26	Stefano Zacchiroli	ported debian stuff to ocaml 3.08	commit \| commitdiff \| tree \| snapshot
2004-07-20	Andrea Asperti	The type substitution has been moved into Cic.	commit \| commitdiff \| tree \| snapshot
2004-07-20	Andrea Asperti	Subst has been added to the kernel.	commit \| commitdiff \| tree \| snapshot
2004-07-15	Luca Padovani	* split evil let definition (ic, oc) = ... into two...	commit \| commitdiff \| tree \| snapshot
2004-07-13	Matteo Selmi	Modified filtering function	commit \| commitdiff \| tree \| snapshot
2004-07-05	Claudio Sacerdoti...	cleanURI now removes also the part that follows the...	commit \| commitdiff \| tree \| snapshot
2004-07-05	Claudio Sacerdoti...	The URI passed to the control frame must be clean ...	commit \| commitdiff \| tree \| snapshot
2004-07-05	Claudio Sacerdoti...	The part after # must be removed for the control frame.	commit \| commitdiff \| tree \| snapshot
2004-07-05	Stefano Zacchiroli	Bug fixed: beta_expand did not perform any recursion...	commit \| commitdiff \| tree \| snapshot
2004-07-05	Stefano Zacchiroli	commeted out some debugging instructions	commit \| commitdiff \| tree \| snapshot
2004-07-05	Stefano Zacchiroli	commented out some debugging instructions	commit \| commitdiff \| tree \| snapshot
2004-07-02	Claudio Sacerdoti...	Bug fixed: eta_expand did not perform any recursion...	commit \| commitdiff \| tree \| snapshot
2004-07-02	Claudio Sacerdoti...	Bug fixed: the beta_expansion function did not lift...	commit \| commitdiff \| tree \| snapshot
2004-07-01	Andrea Asperti	...	commit \| commitdiff \| tree \| snapshot
2004-07-01	Stefano Zacchiroli	New handling of substitution:	commit \| commitdiff \| tree \| snapshot
2004-07-01	Stefano Zacchiroli	added (commented) benchmarking code for the disambiguat...	commit \| commitdiff \| tree \| snapshot
2004-06-28	Andrea Asperti	removed a useless test on explicit substitutions on...	commit \| commitdiff \| tree \| snapshot
2004-06-28	Andrea Asperti	use get_obj to retrieve cic objects instead of typecheck	commit \| commitdiff \| tree \| snapshot
2004-06-28	Andrea Asperti	fixed typo	commit \| commitdiff \| tree \| snapshot
2004-06-28	Andrea Asperti	- new implementation of the apply case in fo_unif using...	commit \| commitdiff \| tree \| snapshot
2004-06-22	Stefano Zacchiroli	ugliness changes:	commit \| commitdiff \| tree \| snapshot
2004-06-18	Matteo Selmi	Corrections to "auto" tactic	commit \| commitdiff \| tree \| snapshot
2004-06-18	Claudio Sacerdoti...	elim_tac rewritten almost entirely. It is now based...	commit \| commitdiff \| tree \| snapshot
2004-06-18	Claudio Sacerdoti...	Added new function compare_metasenvs.	commit \| commitdiff \| tree \| snapshot
2004-06-18	Claudio Sacerdoti...	Comments changed.	commit \| commitdiff \| tree \| snapshot
2004-06-18	Claudio Sacerdoti...	- In the case (?i args) vs term the term is now eta...	commit \| commitdiff \| tree \| snapshot
2004-06-18	Claudio Sacerdoti...	New syntax.	commit \| commitdiff \| tree \| snapshot
2004-06-18	Claudio Sacerdoti...	Fourier URIs changed in V8.	commit \| commitdiff \| tree \| snapshot
2004-06-17	Claudio Sacerdoti...	- moogle replaces the old search engine	commit \| commitdiff \| tree \| snapshot
2004-06-17	Stefano Zacchiroli	bugfix: ignore proof checker output	commit \| commitdiff \| tree \| snapshot
2004-06-16	Claudio Sacerdoti...	atmost/atleast/exactly constraints are now used only...	commit \| commitdiff \| tree \| snapshot
2004-06-16	Stefano Zacchiroli	in the particular case of simple searches, Andrea atmos...	commit \| commitdiff \| tree \| snapshot
2004-06-16	Andrea Asperti	first moogle commit	commit \| commitdiff \| tree \| snapshot
2004-06-10	Claudio Sacerdoti...	search.xsl added.	commit \| commitdiff \| tree \| snapshot
2004-06-10	Claudio Sacerdoti...	Added search.xsl (S).	commit \| commitdiff \| tree \| snapshot
2004-06-10	Claudio Sacerdoti...	Stylesheet whose input is an empty document. It calls the	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom