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

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

2005-06-15	Enrico Tassi	sync with new typecheck prototype (no more univ graph)	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	apply_tac used to calculate the type of the term before...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	are_convertible on MutCase was no longer checking the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	ported to latest registry interface	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	- support for multiple bindings of the same key, access...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Refinement of CurrentProof did not check whether the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	comments syntax changed	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	incomplete proof completed.	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	use META helm-registry package, load sample.xml and...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Alberto Griggio	now something works...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	* no more %% comments	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	No more %% comments.	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	parentheses allowed inside comments	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	test_lexer and test_parser compiled by default	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	uses XmlPushParser instead of PXP	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	finally we understood how to properly link ocaml bindin...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-14	Enrico Tassi	removed ocaml-pxp	commit \| commitdiff \| tree \| snapshot
2005-06-14	Enrico Tassi	hack to compile on gazelle	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	done two items	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	don't build pxp (no longer needed), cic_annotations...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	removed dependencies on Pxp	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	removed dependency on cicPxpParser	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	uses XmlPushParser instead of Pxp for parsing getter...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	incomplete proof completed	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	typo fixed: simmetry ==> symmetry	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	incomplete proof terminated	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	qed missing	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	Bug fixed: when the final proof_status is not No_proof...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Enrico Tassi	added fullscreen menu item	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	integrated lablgtksourceview	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	cosmetic fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	- no longer build mathql per default	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	renamed	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	F2 hides the tactics buttons bar	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	- new minor version	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	ported to official (guessed) version of lablgtk2	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	better clean up on dist	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	moved the annoying debugging print to test	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	ported to lablgtk2 2.4.0+2005.06.13-1	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	ported to latest lablgtk2 snapshot (13/06/2005) in...	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	added syntax hilight for temperino	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	error	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	moved to xmlPushParser	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fixed error in comment	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	rewritten makefile and debian packaging: .deb ready!	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	added an 'a parameter to mpresentation type so that...	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	ocaml 3.08.3 commit	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	fixed segfault issue with matching bracket search	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	first checkin of debian stuff, something done, but...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Stefano Zacchiroli	snapshort	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added_test	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added records	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added mk_rel	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added records pp, ast and fixed a bug in match with...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added record generation modules	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added record generation module	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	The type of the left parameters of an inductive type...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Got rid of a few bugs.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	an assert failure changed to an exception and a bit...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	The user is no longer obliged to give the types for...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Alberto Griggio	integrated indexing.ml, breaks everything :-P (previous...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	debugging to false	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	* (Head) beta reduction functions factorized	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	More debugging infos.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	unshare.ml*	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Complete unsharing of terms.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Stefano Zacchiroli	- bound GtkSourceLanguagesManager (only get_lang..from_...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Stefano Zacchiroli	snaphot	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	head_beta_reduce used to create applications of applica...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	added source_view ?text constructor parameter	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	test file	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	load "test.txt" and show it in a scrolled win	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-09	Alberto Griggio	prima implementazione di demodulate, superposition_left...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Alberto Griggio	cambiato il tipo equality, aggiunto l'ordinamento tra...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	test_instance.ma moved to interactive/ (whose tests...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	intro ==> intros	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Error message improved.	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Now CicMetaSubst.delift_rels restricts the Metas when...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	No more explicit types for the branches of the matches...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	CicSubstitution.delift ==> CicMetaSubst.delift_rels	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	lablgtksourceview: first checkin, almost nothing bound ...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Exception raised by delift changed:	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	added debug item for coercion	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	added \n to "file saved" message	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	added whd before uri_of_term	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom