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

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

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
2003-07-01	Stefano Zacchiroli	moved debhelper compatibility level to debian/compat	commit \| commitdiff \| tree \| snapshot
2003-06-30	Claudio Sacerdoti...	- default font size of the proof window lowered to 10	commit \| commitdiff \| tree \| snapshot
2003-06-29	Ferruccio Guidi	mathql_interpreter: natile-galax package removed from...	commit \| commitdiff \| tree \| snapshot
2003-06-27	Claudio Sacerdoti...	The type of a LetIn is now a LetIn if and only if the...	commit \| commitdiff \| tree \| snapshot
2003-06-27	Claudio Sacerdoti...	The "Save proof" menu item is now activated when a...	commit \| commitdiff \| tree \| snapshot
2003-06-27	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree \| snapshot
2003-06-27	Claudio Sacerdoti...	Reloading bugged stylesheets no longer makes gTopLevel...	commit \| commitdiff \| tree \| snapshot
2003-06-27	Claudio Sacerdoti...	Reload stylesheets menu entry added (under the Settings...	commit \| commitdiff \| tree \| snapshot
2003-06-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	http://....#Prop shortened to Prop due to a bug (featur...	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	relativeDepth function removed (useful only for cooking)	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	Metadata tools are now working correctly also over...	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	The proof-checker should now be working also on .body...	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	dropBodySuffix function added	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	- Object URL link added	commit \| commitdiff \| tree \| snapshot
2003-06-26	Claudio Sacerdoti...	Ported to the latest version of libhttp	commit \| commitdiff \| tree \| snapshot
2003-06-25	Stefano Zacchiroli	added tons of #include <cassert> to make latest gcc...	commit \| commitdiff \| tree \| snapshot
2003-06-25	Stefano Zacchiroli	preliminar 0.0.3-2 debian release	commit \| commitdiff \| tree \| snapshot
2003-06-25	Stefano Zacchiroli	forward ported to use pkg-config	commit \| commitdiff \| tree \| snapshot
2003-06-25	Andrea Asperti	It should have already been moved to ocaml/mathql_generator	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom