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

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

2004-02-24	Ferruccio Guidi	interpreter flags were reorganized unlabeled-1.4.2	commit \| commitdiff \| tree \| snapshot
2004-02-18	Ferruccio Guidi	now mathql interpreter use helm registry	commit \| commitdiff \| tree \| snapshot
2004-01-20	Ferruccio Guidi	functor added	commit \| commitdiff \| tree \| snapshot
2003-10-10	Ferruccio Guidi	patched and improved	commit \| commitdiff \| tree \| snapshot
2003-10-01	Ferruccio Guidi	first version	commit \| commitdiff \| tree \| snapshot
2003-07-29	no author	This commit was manufactured by cvs2svn to create branch	commit \| commitdiff \| tree \| snapshot
2003-07-29	Ferruccio Guidi	- the mathql interpreter is not helm-dependent any...	commit \| commitdiff \| tree \| snapshot
2003-07-29	Claudio Sacerdoti...	Spurious files removed.	commit \| commitdiff \| tree \| snapshot
2003-07-29	Claudio Sacerdoti...	"(" moved from Mtext to Mo. Spaces removed.	commit \| commitdiff \| tree \| snapshot
2003-07-29	Andrea Asperti	Added method AndInd.	commit \| commitdiff \| tree \| snapshot
2003-07-28	Andrea Asperti	Added Method "exists".	commit \| commitdiff \| tree \| snapshot
2003-07-28	Andrea Asperti	Few modif in eta-fixing.	commit \| commitdiff \| tree \| snapshot
2003-07-28	Claudio Sacerdoti...	Missing xref for conjectures.	commit \| commitdiff \| tree \| snapshot
2003-07-28	Claudio Sacerdoti...	mathvariant=normal for all the proof ;-)	commit \| commitdiff \| tree \| snapshot
2003-07-28	Claudio Sacerdoti...	background (deprecated) ==> mathbackground	commit \| commitdiff \| tree \| snapshot
2003-07-28	Claudio Sacerdoti...	Bug fixed: it could have happened that the tree structu...	commit \| commitdiff \| tree \| snapshot
2003-07-28	Stefano Zacchiroli	use OCAMLFIND variable instead of "ocamlfind" directly	commit \| commitdiff \| tree \| snapshot
2003-07-28	Claudio Sacerdoti...	- severe bug fixing	commit \| commitdiff \| tree \| snapshot
2003-07-25	Claudio Sacerdoti...	Highlighting of changed parts.	commit \| commitdiff \| tree \| snapshot
2003-07-25	Claudio Sacerdoti...	URIs of inductive types and constructors fixed.	commit \| commitdiff \| tree \| snapshot
2003-07-25	Claudio Sacerdoti...	Lemma generated wrong URIs (again). Fixed.	commit \| commitdiff \| tree \| snapshot
2003-07-24	Andrea Asperti	Complete beta reduction added to avoid strange case...	commit \| commitdiff \| tree \| snapshot
2003-07-24	Andrea Asperti	Exact handled in a better way (no more "NO PROOFS").	commit \| commitdiff \| tree \| snapshot
2003-07-24	Andrea Asperti	The name of TD proofs was erroneously always set to...	commit \| commitdiff \| tree \| snapshot
2003-07-24	Andrea Asperti	Improved management of conclusions, to avoid repetitions.	commit \| commitdiff \| tree \| snapshot
2003-07-23	Andrea Asperti	- better handling of proof expansion/contraction	commit \| commitdiff \| tree \| snapshot
2003-07-23	Andrea Asperti	- Lemma added to the list of proof arguments	commit \| commitdiff \| tree \| snapshot
2003-07-22	Andrea Asperti	Debugging stuff changed.	commit \| commitdiff \| tree \| snapshot
2003-07-22	Andrea Asperti	"Final" commit that patches termViewer while still...	commit \| commitdiff \| tree \| snapshot
2003-07-22	Claudio Sacerdoti...	- selection attribute of maction is now explicitly...	commit \| commitdiff \| tree \| snapshot
2003-07-22	Andrea Asperti	Previous commit was erroneous and dit not compile.	commit \| commitdiff \| tree \| snapshot
2003-07-22	Claudio Sacerdoti...	Debugging code inserted bug in the code ;-)	commit \| commitdiff \| tree \| snapshot
2003-07-22	Claudio Sacerdoti...	XmlDiff-ing of DOM trees implemented.	commit \| commitdiff \| tree \| snapshot
2003-07-22	Andrea Asperti	1. Modificiations due to the change ot K.Aux	commit \| commitdiff \| tree \| snapshot
2003-07-21	Andrea Asperti	The Aux argument of conclude is now of type string...	commit \| commitdiff \| tree \| snapshot
2003-07-21	Claudio Sacerdoti...	Interface change: only cobj2obj is exposed.	commit \| commitdiff \| tree \| snapshot
2003-07-21	Claudio Sacerdoti...	Flattening application contexts uncorrectly changed...	commit \| commitdiff \| tree \| snapshot
2003-07-21	Andrea Asperti	UNTESTED	commit \| commitdiff \| tree \| snapshot
2003-07-21	Andrea Asperti	We do not compute inner-types for the metasenv ==>...	commit \| commitdiff \| tree \| snapshot
2003-07-21	Andrea Asperti	Rendering of current proofs completed.	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	Reindenting.	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	proof2cic now uses Deannotate.deannoate_term instead...	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	Cic2acic is now responsible of eta-fixing the objects.	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	Cic2acic is now responsible of eta-fixing the objects...	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	cic2content.ml* moved from cic_transformations to cic_o...	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc.	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	cic_transformations factorized into cic_omdoc and cic_t...	commit \| commitdiff \| tree \| snapshot
2003-07-20	Claudio Sacerdoti...	Cic2content split into Content and Cic2content.	commit \| commitdiff \| tree \| snapshot
2003-07-18	Andrea Asperti	CSC: tentative definition of the ocaml structure that...	commit \| commitdiff \| tree \| snapshot
2003-07-17	Ferruccio Guidi	some documentation added	commit \| commitdiff \| tree \| snapshot
2003-07-17	pmasoudi	Partional first fase final.	commit \| commitdiff \| tree \| snapshot
2003-07-17	Ferruccio Guidi	dead code removed	commit \| commitdiff \| tree \| snapshot
2003-07-17	pmasoudi	Persist file completed.	commit \| commitdiff \| tree \| snapshot
2003-07-17	Ferruccio Guidi	- new generated query "unreferred" implemented at serve...	commit \| commitdiff \| tree \| snapshot
2003-07-17	Luca Padovani	* changed name of shared library	commit \| commitdiff \| tree \| snapshot
2003-07-17	Luca Padovani	* snapshot	commit \| commitdiff \| tree \| snapshot
2003-07-17	Luca Padovani	* added simple test program	commit \| commitdiff \| tree \| snapshot
2003-07-17	Luca Padovani	* the container seems to work now	commit \| commitdiff \| tree \| snapshot
2003-07-16	Claudio Sacerdoti...	Xml.token is now namespace-aware. As a consequence...	commit \| commitdiff \| tree \| snapshot
2003-07-16	pmasoudi	Control Factory modified.	commit \| commitdiff \| tree \| snapshot
2003-07-16	pmasoudi	persist file with factory.	commit \| commitdiff \| tree \| snapshot
2003-07-16	Andrea Asperti	Several changes (the beginning of a new era???)	commit \| commitdiff \| tree \| snapshot
2003-07-16	pmasoudi	added persit-file-implementation.	commit \| commitdiff \| tree \| snapshot
2003-07-16	Luca Padovani	* changed name to control factory	commit \| commitdiff \| tree \| snapshot
2003-07-16	Luca Padovani	* updated the help file to reflect the new syntax ...	commit \| commitdiff \| tree \| snapshot
2003-07-16	Luca Padovani	* syntax update for "remove all stylesheets" in control.js	commit \| commitdiff \| tree \| snapshot
2003-07-15	Luca Padovani	* added .pc file	commit \| commitdiff \| tree \| snapshot
2003-07-15	Claudio Sacerdoti...	Camera ready.	commit \| commitdiff \| tree \| snapshot
2003-07-15	Luca Padovani	* substituting the right version variable	commit \| commitdiff \| tree \| snapshot
2003-07-15	Luca Padovani	* wrong variable for version	commit \| commitdiff \| tree \| snapshot
2003-07-15	Luca Padovani	* patched version of shared library	commit \| commitdiff \| tree \| snapshot
2003-07-15	Luca Padovani	* first snapshot	commit \| commitdiff \| tree \| snapshot
2003-07-15	Stefano Zacchiroli	merged CSC's typos squashing	commit \| commitdiff \| tree \| snapshot
2003-07-15	Stefano Zacchiroli	fixed "s" typos	commit \| commitdiff \| tree \| snapshot
2003-07-15	Ferruccio Guidi	description for "Irene Schena" added in authors.html	commit \| commitdiff \| tree \| snapshot
2003-07-15	Stefano Zacchiroli	wrapped libxslt stylesheet application inside an ocaml...	commit \| commitdiff \| tree \| snapshot
2003-07-15	Stefano Zacchiroli	bumped version to 0.0.5	commit \| commitdiff \| tree \| snapshot
2003-07-14	Claudio Sacerdoti...	Towards the camera ready.	commit \| commitdiff \| tree \| snapshot
2003-07-14	Stefano Zacchiroli	debian release 0.0.4-7	commit \| commitdiff \| tree \| snapshot
2003-07-12	Stefano Zacchiroli	debian release 0.4.3-3	commit \| commitdiff \| tree \| snapshot
2003-07-11	Stefano Zacchiroli	reordered link order	commit \| commitdiff \| tree \| snapshot
2003-07-11	Claudio Sacerdoti...	Version dumped.	commit \| commitdiff \| tree \| snapshot
2003-07-11	Claudio Sacerdoti...	Bug fixed: the value of parameters must be valid XPath...	commit \| commitdiff \| tree \| snapshot
2003-07-10	Ferruccio Guidi	prose patched	commit \| commitdiff \| tree \| snapshot
2003-07-10	Ferruccio Guidi	links page added	commit \| commitdiff \| tree \| snapshot
2003-07-09	Ferruccio Guidi	implementation and whatsnew pages added	commit \| commitdiff \| tree \| snapshot
2003-07-03	Ferruccio Guidi	"backPointer" metadata enabled	commit \| commitdiff \| tree \| snapshot
2003-07-03	Ferruccio Guidi	new "light" implementation of intersection (compatible...	commit \| commitdiff \| tree \| snapshot
2003-07-02	Ferruccio Guidi	rendering of "meet" patched	commit \| commitdiff \| tree \| snapshot
2003-07-02	Claudio Sacerdoti...	Bug fixed: deselecting a constraint just forgot its...	commit \| commitdiff \| tree \| snapshot
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	commit \| commitdiff \| tree \| snapshot
2003-07-02	Claudio Sacerdoti...	Ctr+Backspace is now enabled. Used to perform "alternat...	commit \| commitdiff \| tree \| snapshot
2003-07-02	Claudio Sacerdoti...	The editor window now scrolls when the user exceeds...	commit \| commitdiff \| tree \| snapshot
2003-07-01	Claudio Sacerdoti...	- DoubleTypeInference.does_not_occur exposed	commit \| commitdiff \| tree \| snapshot
2003-07-01	Stefano Zacchiroli	- changed changelog author to me (to GPG sign the package)	commit \| commitdiff \| tree \| snapshot
2003-07-01	Claudio Sacerdoti...	0.4.3-2	commit \| commitdiff \| tree \| snapshot
2003-07-01	Claudio Sacerdoti...	1. freeze/thaw added to reduce flickering due to select...	commit \| commitdiff \| tree \| snapshot
2003-07-01	Claudio Sacerdoti...	gtkmathview-config and gdome-config no longer used	commit \| commitdiff \| tree \| snapshot
2003-07-01	Stefano Zacchiroli	debian release 0.0.4-6	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom