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

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

2003-09-05	Claudio Sacerdoti...	string ==> id	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	fixed associativity of some (all!) binary operators	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Replace is now working also over Type.	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Replace tactic fixed. It was not working any longer...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Notation for Rdiv and Rminus.	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Debugging infos removed.	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	string => id	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	replaced with my generic latex makefile	commit \| commitdiff \| tree \| snapshot
2003-09-04	Luca Padovani	* update with some candidate methods	commit \| commitdiff \| tree \| snapshot
2003-09-04	Luca Padovani	* added test View interface. It is basically empty...	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	- added a destroy callback	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	start tutors with nice at the lowest priority	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	avoid deletion of useful .cmi with .PRECIOUS	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	commented out debugging tutor "wait"	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	- added dot notation for real numbers and basic operati...	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	- added default URI for new theorems	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	added support for X11 clipboard pasting with CTRL-V...	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	added methods to start/stop web services	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	added eqT's macro	commit \| commitdiff \| tree \| snapshot
2003-09-04	pmasoudi	scrollbars added & control structure screated	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	fixed typo in eqT's URI	commit \| commitdiff \| tree \| snapshot
2003-09-04	Ferruccio Guidi	CGLocateInductive patched	commit \| commitdiff \| tree \| snapshot
2003-09-04	Ferruccio Guidi	added the support for the "Locate Inductive Principles...	commit \| commitdiff \| tree \| snapshot
2003-08-01	Luca Padovani	* removed wrong unref	commit \| commitdiff \| tree \| snapshot
2003-08-01	Luca Padovani	* added test .html file for mozilla plugin	commit \| commitdiff \| tree \| snapshot
2003-08-01	Luca Padovani	* a few adjustments and debugging messages added	commit \| commitdiff \| tree \| snapshot
2003-07-31	Claudio Sacerdoti...	Closed induction cases are now pointers to the acontext...	commit \| commitdiff \| tree \| snapshot
2003-07-31	pmasoudi	* added first version of persist stream implementation...	commit \| commitdiff \| tree \| snapshot
2003-07-31	Claudio Sacerdoti...	"proof of X" closed mactions were not selectable	commit \| commitdiff \| tree \| snapshot
2003-07-31	Claudio Sacerdoti...	1. folded maction are now selectable	commit \| commitdiff \| tree \| snapshot
2003-07-30	Luca Padovani	* mime type updated	commit \| commitdiff \| tree \| snapshot
2003-07-30	Ferruccio Guidi	- support for comments added in mathql_db_map.txt	commit \| commitdiff \| tree \| snapshot
2003-07-30	Claudio Sacerdoti...	Unuseful id removed from hypothesis.	commit \| commitdiff \| tree \| snapshot
2003-07-30	Ferruccio Guidi	- information about the database map added in whatsnew...	commit \| commitdiff \| tree \| snapshot
2003-07-30	Andrea Asperti	Eta fixing for MTCases added (that meant to recursively...	commit \| commitdiff \| tree \| snapshot
2003-07-30	Claudio Sacerdoti...	All the ids are now generated by gen_id. (Some of them...	commit \| commitdiff \| tree \| snapshot
2003-07-29	Luca Padovani	* quite a lot of patches in the building stuff	commit \| commitdiff \| tree \| snapshot
2003-07-29	Ferruccio Guidi	new links added	commit \| commitdiff \| tree \| snapshot
2003-07-29	Andrea Asperti	Added method FalseInd	commit \| commitdiff \| tree \| snapshot
2003-07-29	Andrea Asperti	Added method "FalseInd".	commit \| commitdiff \| tree \| snapshot
2003-07-29	Claudio Sacerdoti...	Prefixes introduced for the generated ids/xrefs. Example:	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
next

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

RSS Atom