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

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

2005-06-06	Luca Padovani	* update	commit \| commitdiff \| tree \| snapshot
2005-06-06	Luca Padovani	* more to do	commit \| commitdiff \| tree \| snapshot
2005-06-05	Luca Padovani	* added todo file	commit \| commitdiff \| tree \| snapshot
2005-06-04	Stefano Zacchiroli	snapshot (first version with working pattern matching...	commit \| commitdiff \| tree \| snapshot
2005-06-04	Ferruccio Guidi	a contribution about subset theory in an intuitionistic...	commit \| commitdiff \| tree \| snapshot
2005-06-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-03	Ferruccio Guidi	contribution about \lambda-\delta	commit \| commitdiff \| tree \| snapshot
2005-06-02	Stefano Zacchiroli	snapshot (added typed environment in 2 -> 1 conversion)	commit \| commitdiff \| tree \| snapshot
2005-06-02	Stefano Zacchiroli	snapshot (first working implementation of parttern...	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fix_escaping	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	reduce with path	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	paths trough terms implemented with a nice hack :)	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	some cosmetic fixes	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	removed debug prerr_endline	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fixed classical non-C programmer misunderstooding of...	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fixed intro.	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	added C.Appl [] case	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	snapshot (ported to new "typed" ids_to_inner_sort table)	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	Changed type of ids_to_inner_sort table used in transfo...	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	added comment	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	snapshot (first version with [apparently] working mappi...	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	implemented normalize (used in new_metasenv_for_apply)	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	fixed width fonts	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	fixed comments	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	new shortcuts	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	added colors	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	snapshot (the thing on the doorstep)	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	more verbose case failure message	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	added chronometer	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	added automathic aliases for _ind _rec and _rect when...	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	fix	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	added automathic aliases for qed and definition	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	added shortcuts	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-30	Stefano Zacchiroli	added uri_of_term	commit \| commitdiff \| tree \| snapshot
2005-05-30	Enrico Tassi	mah...matita.ml	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	fix	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	added intros n	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	added intros n.	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	added automathic aliases.	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	- commented out no longer needed macros Redo, Undo...	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	fixed otags invocation	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	commented out no longer needed macros Redo, Undo, Abort	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	added %.annot rule to create type annotation files	commit \| commitdiff \| tree \| snapshot
2005-05-27	Enrico Tassi	removed debug prerr_endline	commit \| commitdiff \| tree \| snapshot
2005-05-27	Enrico Tassi	fixed matitac	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	refactored modules structure	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	* fold left/right implemented	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-27	Andrea Asperti	1. removed obsolete comments	commit \| commitdiff \| tree \| snapshot
2005-05-26	Claudio Sacerdoti...	Now the links to 7 pages at a time are shown. Cool.	commit \| commitdiff \| tree \| snapshot
2005-05-26	Claudio Sacerdoti...	256 chars max ==> 1024 chars max (because of Coq)	commit \| commitdiff \| tree \| snapshot
2005-05-26	Stefano Zacchiroli	fixed issue with explicit named substitutions	commit \| commitdiff \| tree \| snapshot
2005-05-26	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree \| snapshot
2005-05-26	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-25	Stefano Zacchiroli	multiple bindings inside OPT supported	commit \| commitdiff \| tree \| snapshot
2005-05-25	Stefano Zacchiroli	bugfix: "match" now works also when no type is provided...	commit \| commitdiff \| tree \| snapshot
2005-05-25	Stefano Zacchiroli	let rec example	commit \| commitdiff \| tree \| snapshot
2005-05-25	Stefano Zacchiroli	snapshot (first version in which some extensions work...	commit \| commitdiff \| tree \| snapshot
2005-05-25	Ferruccio Guidi	some work for Gares	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	apply now tries both to reduce and to not reduce the...	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	\lambda x.x y ----> \lambda x.(x y)	commit \| commitdiff \| tree \| snapshot
2005-05-25	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-24	Stefano Zacchiroli	clean typo	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	reverted to ==	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added .theory check	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	fixed missing -syntax when using ocamlopt	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	fixed precedence of \to	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added simpl test script	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added simpl	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	fixed syntax	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	new simpl semantic (now = and not == since you can...	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added lost elim_intros_tac	commit \| commitdiff \| tree \| snapshot
2005-05-24	Andrea Asperti	fix	commit \| commitdiff \| tree \| snapshot
2005-05-24	Andrea Asperti	Added a new tactic elim_intros (without simpl of the...	commit \| commitdiff \| tree \| snapshot
2005-05-24	Andrea Asperti	elim -> elim_intros (no simpl)	commit \| commitdiff \| tree \| snapshot
2005-05-23	Claudio Sacerdoti...	Added sql/drop_mowgli_tables.mysql.sql	commit \| commitdiff \| tree \| snapshot
2005-05-23	Stefano Zacchiroli	added rule to generate camlp4 expansion of cicNotationP...	commit \| commitdiff \| tree \| snapshot
2005-05-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-23	Enrico Tassi	fixed clean that wasn't returning the right list of...	commit \| commitdiff \| tree \| snapshot
2005-05-23	Enrico Tassi	added qed	commit \| commitdiff \| tree \| snapshot
2005-05-23	Andrea Asperti	Added andrea.ma	commit \| commitdiff \| tree \| snapshot
2005-05-22	Stefano Zacchiroli	switched to cdbs for debian/rules (now 2 lines long...	commit \| commitdiff \| tree \| snapshot
2005-05-20	Andrea Asperti	When we unify a Prod against a term t2 which is not...	commit \| commitdiff \| tree \| snapshot
2005-05-20	Andrea Asperti	Added a whd on ty in new_metasenv for apply, in order...	commit \| commitdiff \| tree \| snapshot
2005-05-20	Andrea Asperti	Hint repaired (an erroneous commit by myself).	commit \| commitdiff \| tree \| snapshot
2005-05-19	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-19	Alberto Griggio	added lpo term-ordering	commit \| commitdiff \| tree \| snapshot
2005-05-19	Alberto Griggio	various optimizations (to paramodulation and passive...	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	commented out some debugging messages	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	connected instance to the web search engine	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	changed debugging code which saves xml input document...	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	- die on CTRL-C or init.d/... stop instead of resurrecting	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	unified grammars and lexers in a single one	commit \| commitdiff \| tree \| snapshot
2005-05-18	Enrico Tassi	fixed some macros, added test_abort.ma	commit \| commitdiff \| tree \| snapshot
2005-05-18	Stefano Zacchiroli	snapshot (implemented level 3 grammar)	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom