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

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

2005-10-06	Stefano Zacchiroli	added Makefile	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	completed instantiatian of level 2 patterns from level 1	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	bugfix: avoid diversion in "make opt"	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	- better naming	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	first check in of continuationals implementation	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	in the end: ... proper handling of multiple bindings...	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	bugfix: multiple bindings of the same key work again	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	completed support for "-nodb", now also matitaclean...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	s/commands_of_domain_and_codomain_items_list/aliases_of...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added metadata "commands"	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	uncommented find_cic_appl_pattern_uris	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added find	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	removed debug saving of "foo.conf.xml"	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	separated "]]" to avoid clash with (temporary) continua...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added MATITA_FLAGS support	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added hmysql dependency	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	- "load_from" no longer clears the previous registry...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	rebut	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added hmysql	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	moved hmysql to a separate module	commit \| commitdiff \| tree \| snapshot
2005-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Enrico Tassi	aded hmysql/	commit \| commitdiff \| tree \| snapshot
2005-10-04	Stefano Zacchiroli	added filter_map	commit \| commitdiff \| tree \| snapshot
2005-10-03	Luca Padovani	incomplete snapshot ....	commit \| commitdiff \| tree \| snapshot
2005-10-03	Stefano Zacchiroli	restated ...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Andrea Asperti	Added congruence.ma.	commit \| commitdiff \| tree \| snapshot
2005-10-03	Enrico Tassi	the filled object is inserted in the env after a succes...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Andrea Asperti	Several changes. Proof of Fermat's little theorem compl...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Enrico Tassi	fixed clean_and_fill that now fills the object (used...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Enrico Tassi	moved to fast implementation and fixed a bug in the...	commit \| commitdiff \| tree \| snapshot
2005-10-02	Luca Padovani	* well-formedness constraints	commit \| commitdiff \| tree \| snapshot
2005-10-02	Luca Padovani	* added well-formedness rules for level 2 patterns	commit \| commitdiff \| tree \| snapshot
2005-10-01	Luca Padovani	* added pattern matching of level 2 terms	commit \| commitdiff \| tree \| snapshot
2005-09-30	Stefano Zacchiroli	- fixed some metasenv issues	commit \| commitdiff \| tree \| snapshot
2005-09-30	Stefano Zacchiroli	fixed some (more) typos	commit \| commitdiff \| tree \| snapshot
2005-09-30	Stefano Zacchiroli	fixed some typos	commit \| commitdiff \| tree \| snapshot
2005-09-30	Stefano Zacchiroli	continuationals semantics: first draft	commit \| commitdiff \| tree \| snapshot
2005-09-29	Stefano Zacchiroli	moved a (commented) test in a handier position	commit \| commitdiff \| tree \| snapshot
2005-09-29	Luca Padovani	* required for the blob icon	commit \| commitdiff \| tree \| snapshot
2005-09-29	Luca Padovani	* added concrete syntax for level 2	commit \| commitdiff \| tree \| snapshot
2005-09-29	Alberto Griggio	non-default equalities in equations_for_goal	commit \| commitdiff \| tree \| snapshot
2005-09-29	Alberto Griggio	upgraded code to work with non-default equalities	commit \| commitdiff \| tree \| snapshot
2005-09-29	Luca Padovani	* snapshot	commit \| commitdiff \| tree \| snapshot
2005-09-29	Claudio Sacerdoti...	Further speed-up in the disambiguation algorithm.	commit \| commitdiff \| tree \| snapshot
2005-09-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-29	Luca Padovani	* required for texing it	commit \| commitdiff \| tree \| snapshot
2005-09-29	Luca Padovani	+ well-formedness of level 1 patterns	commit \| commitdiff \| tree \| snapshot
2005-09-28	Luca Padovani	* first version of the specification	commit \| commitdiff \| tree \| snapshot
2005-09-28	Stefano Zacchiroli	better precedence handling, should remove useless parens	commit \| commitdiff \| tree \| snapshot
2005-09-28	Andrea Asperti	New entry: relevant_equations.	commit \| commitdiff \| tree \| snapshot
2005-09-28	Stefano Zacchiroli	spotted missing times notation	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	fixed some english typos	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	changed precedence/associativeness handling: relative...	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	added/exported pp_pos & pp_attribute	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	removed .annot files (files containing type annotations...	commit \| commitdiff \| tree \| snapshot
2005-09-27	Andrea Asperti	small error in nth_prime.	commit \| commitdiff \| tree \| snapshot
2005-09-27	Andrea Asperti	New entry: fermat's little theorem (almost complete).	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	more fine grained debug printing	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	changed type of ids_to_uris table to (Cic.id, UriManage...	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	Better handling of idref propagation, no more Href...	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	moved list_uniq to the extlib	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	added support for multiple idrefs	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	added list_uniq	commit \| commitdiff \| tree \| snapshot
2005-09-27	Stefano Zacchiroli	completed use of \mod and / notation	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	coq.moo is now automatically generated. New targets:	commit \| commitdiff \| tree \| snapshot
2005-09-26	Enrico Tassi	fix WE HAVE NO UNIVERSE	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2005-09-26	Enrico Tassi	./matitaclean all removes all	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	strip heading '\' on Mo s	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	removed some dead code	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	if a node has an xref use it for cut and paste, no...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	coq.moo is now automatically generated	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	function composition notation	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	Coq's existential fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	div and mod notation ('%' and '\mod')	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	added override for \circ (notation for function composi...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	matitatop.opt should not be generated	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	Unification enhanchement.	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	Unification enhanchement:	commit \| commitdiff \| tree \| snapshot
2005-09-26	Claudio Sacerdoti...	Inclusion path fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-26	Alberto Griggio	new signature of auto_tac, with a new optional argument...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Alberto Griggio	new paramodulation	commit \| commitdiff \| tree \| snapshot
2005-09-26	Alberto Griggio	* empty log message *	commit \| commitdiff \| tree \| snapshot
2005-09-26	Alberto Griggio	new signature of auto_tac, with a new optional argument...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Alberto Griggio	added apply_tac_verbose_with_subst, returning a Cic...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	added binary version of coq.moo and the corresponding...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	removed textual version of coq's moo file	commit \| commitdiff \| tree \| snapshot
2005-09-26	Enrico Tassi	MatitacleanLib.remove_baseuris will remove empty direct...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Andrea Asperti	permutation.ma added to the repository.	commit \| commitdiff \| tree \| snapshot
2005-09-26	Andrea Asperti	Small bug due to case unsensitiveness in the check...	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	changed default divide notation to a/b	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	bugfix: reash uris embedded in cic appl patterns	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	- added integrity checks on .moo files	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	better name for a theorem	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	added magic numbers	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	set extlib findlib dependencies	commit \| commitdiff \| tree \| snapshot
2005-09-26	Stefano Zacchiroli	implemented the first bunch of useful functions	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom