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

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

2012-08-02	Claudio Sacerdoti...	1. Implemented type inference for Fomega to extract...	commit \| commitdiff \| tree \| snapshot
2012-08-02	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Bugs related to pretty printing of names fixed (capital...	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Tests for code extraction; to be moved elsewhere.	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Bug fixed: Haskell forces capitalisation.	commit \| commitdiff \| tree \| snapshot
2012-08-01	Claudio Sacerdoti...	Begin of porting of code extraction to the new Matita.	commit \| commitdiff \| tree \| snapshot
2012-07-31	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-31	Andrea Asperti	Termination!	commit \| commitdiff \| tree \| snapshot
2012-07-30	Wilmer Ricciotti	Wip	commit \| commitdiff \| tree \| snapshot
2012-07-30	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-29	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-07-29	Ferruccio Guidi	- context free computation for terms and local environments	commit \| commitdiff \| tree \| snapshot
2012-07-27	Ferruccio Guidi	additions and corrections to basic_2	commit \| commitdiff \| tree \| snapshot
2012-07-27	Ferruccio Guidi	- support for pointwise extensions of a term relation...	commit \| commitdiff \| tree \| snapshot
2012-07-27	Wilmer Ricciotti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-27	Andrea Asperti	work in progress	commit \| commitdiff \| tree \| snapshot
2012-07-26	Ferruccio Guidi	polarized binders introduced in basic_2	commit \| commitdiff \| tree \| snapshot
2012-07-26	Ferruccio Guidi	- matita: reset_font_size () added after matita.conf...	commit \| commitdiff \| tree \| snapshot
2012-07-24	Ferruccio Guidi	one file was missing ...	commit \| commitdiff \| tree \| snapshot
2012-07-23	Ferruccio Guidi	- lambda_delta: we updated some notation	commit \| commitdiff \| tree \| snapshot
2012-07-22	Ferruccio Guidi	- we polarized binders to control zeta reduction	commit \| commitdiff \| tree \| snapshot
2012-07-21	Andrea Asperti	An executable version of the tutorial.	commit \| commitdiff \| tree \| snapshot
2012-07-20	Wilmer Ricciotti	progress in termination of marks.ma	commit \| commitdiff \| tree \| snapshot
2012-07-19	Claudio Sacerdoti...	One less warning.	commit \| commitdiff \| tree \| snapshot
2012-07-19	Claudio Sacerdoti...	Some debugging times exposed.	commit \| commitdiff \| tree \| snapshot
2012-07-19	Claudio Sacerdoti...	Major speed up improvement after every tactic application.	commit \| commitdiff \| tree \| snapshot
2012-07-19	Andrea Asperti	Few changes	commit \| commitdiff \| tree \| snapshot
2012-07-19	Ferruccio Guidi	- intermediate commit to allow debugging of auto tactic...	commit \| commitdiff \| tree \| snapshot
2012-07-19	Andrea Asperti	adding tutorial	commit \| commitdiff \| tree \| snapshot
2012-07-17	Andrea Asperti	porting to termination	commit \| commitdiff \| tree \| snapshot
2012-07-13	Ferruccio Guidi	- we added a time specification in the generated web...	commit \| commitdiff \| tree \| snapshot
2012-07-13	Ferruccio Guidi	more symbols added for lambda_delta	commit \| commitdiff \| tree \| snapshot
2012-07-13	Ferruccio Guidi	- dynamic type assignment dismissed for now	commit \| commitdiff \| tree \| snapshot
2012-07-10	matitaweb	commit by user mkmluser	commit \| commitdiff \| tree \| snapshot
2012-07-10	matitaweb	commit by user mkmluser	commit \| commitdiff \| tree \| snapshot
2012-07-10	matitaweb	commit by user mkmluser	commit \| commitdiff \| tree \| snapshot
2012-07-09	matitaweb	manual commit	commit \| commitdiff \| tree \| snapshot
2012-07-08	matitaweb	bug fixes	commit \| commitdiff \| tree \| snapshot
2012-07-06	matitaweb	reverted to previous version (plus anchors)	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	added tick.png	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	Added NotationPt.name_of_obj.	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	Cosmetic changes.	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	Bug fixing + cosmetic changes	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	manual commit after active hyperlinks	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	manual	commit \| commitdiff \| tree \| snapshot
2012-07-06	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree \| snapshot
2012-07-03	Wilmer Ricciotti	Matitaweb: several improvements in the UI.	commit \| commitdiff \| tree \| snapshot
2012-07-03	Wilmer Ricciotti	Matitaweb: opening a file resets the status.	commit \| commitdiff \| tree \| snapshot
2012-06-29	Claudio Sacerdoti...	Bug fixed: arguments of a match are (no longer...)...	commit \| commitdiff \| tree \| snapshot
2012-06-28	Andrea Asperti	New spec. for advance_both_marks	commit \| commitdiff \| tree \| snapshot
2012-06-28	Andrea Asperti	working on termination	commit \| commitdiff \| tree \| snapshot
2012-06-27	Andrea Asperti	removed a duplicate	commit \| commitdiff \| tree \| snapshot
2012-06-27	Andrea Asperti	Closed all axioms in turing (but not universal).	commit \| commitdiff \| tree \| snapshot
2012-06-21	Wilmer Ricciotti	Hyperlink support.	commit \| commitdiff \| tree \| snapshot
2012-06-20	Ferruccio Guidi	an addition to basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-20	Ferruccio Guidi	- star.ma: constructor inj of star conflicts with previ...	commit \| commitdiff \| tree \| snapshot
2012-06-18	Andrea Asperti	adv_to_mark_l	commit \| commitdiff \| tree \| snapshot
2012-06-18	Andrea Asperti	closing a few axioms	commit \| commitdiff \| tree \| snapshot
2012-06-15	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-15	Ferruccio Guidi	- relation between native type and atomic arity proced	commit \| commitdiff \| tree \| snapshot
2012-06-15	Andrea Asperti	middot notation	commit \| commitdiff \| tree \| snapshot
2012-06-12	Andrea Asperti	adding match_machines and removing trans_to_tuples	commit \| commitdiff \| tree \| snapshot
2012-06-12	Andrea Asperti	several changes	commit \| commitdiff \| tree \| snapshot
2012-06-11	Claudio Sacerdoti...	Reindented	commit \| commitdiff \| tree \| snapshot
2012-06-11	Claudio Sacerdoti...	New nohyps option for /demod/	commit \| commitdiff \| tree \| snapshot
2012-06-08	Claudio Sacerdoti...	New flags for demod:	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	move_char.ma	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	merging of char_move_c and char_move_l	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	A recompiling version	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	Dropping a coercion and some hints due to conflicts...	commit \| commitdiff \| tree \| snapshot
2012-06-08	Andrea Asperti	Modifications and refactoring	commit \| commitdiff \| tree \| snapshot
2012-06-08	Claudio Sacerdoti...	Msg reporting via HLogger in the error window made...	commit \| commitdiff \| tree \| snapshot
2012-06-07	Claudio Sacerdoti...	Patch to avoid generating _inv_ind_recTX for X the...	commit \| commitdiff \| tree \| snapshot
2012-06-07	Claudio Sacerdoti...	Sys.Break no longer catched	commit \| commitdiff \| tree \| snapshot
2012-06-07	Claudio Sacerdoti...	New debugging switch in the interface.	commit \| commitdiff \| tree \| snapshot
2012-06-06	Wilmer Ricciotti	More conjectures proved.	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	new version of move_char_l suign swap	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	swap machine; move_char revisited	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	restructuring	commit \| commitdiff \| tree \| snapshot
2012-06-06	Andrea Asperti	Restructuring	commit \| commitdiff \| tree \| snapshot
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	commit \| commitdiff \| tree \| snapshot
2012-06-05	Andrea Asperti	Completed all proofs in if_machine	commit \| commitdiff \| tree \| snapshot
2012-06-04	Ferruccio Guidi	an addition to basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-04	Ferruccio Guidi	- lambda_delta: subject reduction for nativa type assig...	commit \| commitdiff \| tree \| snapshot
2012-06-04	Andrea Asperti	semantics of the if-machine.	commit \| commitdiff \| tree \| snapshot
2012-06-04	Andrea Asperti	notation	commit \| commitdiff \| tree \| snapshot
2012-06-04	Andrea Asperti	comments	commit \| commitdiff \| tree \| snapshot
2012-06-02	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-02	Ferruccio Guidi	- predefined_virtuals: an addition	commit \| commitdiff \| tree \| snapshot
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	commit \| commitdiff \| tree \| snapshot
2012-06-01	Andrea Asperti	Ci siamo quasi	commit \| commitdiff \| tree \| snapshot
2012-06-01	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-06-01	Ferruccio Guidi	- predefined_virtuals: some additions	commit \| commitdiff \| tree \| snapshot
2012-05-31	Claudio Sacerdoti...	Thanks to Guarrigue, code for Serializer functor simpli...	commit \| commitdiff \| tree \| snapshot
2012-05-31	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-30	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2012-05-30	Ferruccio Guidi	- nDestructTac: Sys.break handled in two places	commit \| commitdiff \| tree \| snapshot
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
2012-05-30	Andrea Asperti	some progress	commit \| commitdiff \| tree \| snapshot
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom