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

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

2015-01-22	Ferruccio Guidi	refactoring of \lambda\delta version 1 in matita	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2015-01-22	Ferruccio Guidi	informational page on ground_1	commit \| commitdiff \| tree \| snapshot
2015-01-20	Ferruccio Guidi	basic_1: we separate theorems and lemmas as in basic_2	commit \| commitdiff \| tree \| snapshot
2015-01-19	Ferruccio Guidi	update in web page for basic_1	commit \| commitdiff \| tree \| snapshot
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	commit \| commitdiff \| tree \| snapshot
2015-01-16	Ferruccio Guidi	lambdadelta_1: bugfix	commit \| commitdiff \| tree \| snapshot
2015-01-16	Ferruccio Guidi	infrastructure to browse lambdadelta_1 remotely	commit \| commitdiff \| tree \| snapshot
2015-01-15	Ferruccio Guidi	lambdadelta_1 updated with new part names	commit \| commitdiff \| tree \| snapshot
2015-01-11	Ferruccio Guidi	we restored the scripts of \lambda\delta version 1	commit \| commitdiff \| tree \| snapshot
2015-01-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2015-01-04	Ferruccio Guidi	- xhtbl: minor improvement	commit \| commitdiff \| tree \| snapshot
2014-12-31	Ferruccio Guidi	last commit for helena 0.8.2	commit \| commitdiff \| tree \| snapshot
2014-12-26	Ferruccio Guidi	the corrected "Grundlagen" is online	commit \| commitdiff \| tree \| snapshot
2014-12-25	Ferruccio Guidi	lddl update with the disambiguated "grundlagen"	commit \| commitdiff \| tree \| snapshot
2014-12-24	Ferruccio Guidi	- bugfix is refreshed state of AutCrg: now we return...	commit \| commitdiff \| tree \| snapshot
2014-12-24	Andrea Asperti	removing some old files	commit \| commitdiff \| tree \| snapshot
2014-12-24	Andrea Asperti	finite lambda calculus	commit \| commitdiff \| tree \| snapshot
2014-12-23	Andrea Asperti	A compiling version	commit \| commitdiff \| tree \| snapshot
2014-12-23	Ferruccio Guidi	- bug fix in the RTM	commit \| commitdiff \| tree \| snapshot
2014-12-23	Claudio Sacerdoti...	check removed	commit \| commitdiff \| tree \| snapshot
2014-12-23	Claudio Sacerdoti...	0.5.9 released	commit \| commitdiff \| tree \| snapshot
2014-12-16	Ferruccio Guidi	- we add the missing layer constraint on applicability...	commit \| commitdiff \| tree \| snapshot
2014-12-15	Ferruccio Guidi	now type inclusion is correctly managed in the RTM	commit \| commitdiff \| tree \| snapshot
2014-12-14	Ferruccio Guidi	- we are moving from old (patched) management of sort...	commit \| commitdiff \| tree \| snapshot
2014-12-14	Ferruccio Guidi	- we removed a flag from the kernel status	commit \| commitdiff \| tree \| snapshot
2014-12-06	Ferruccio Guidi	- helena: the improved attribute system allows to expor...	commit \| commitdiff \| tree \| snapshot
2014-12-04	Andrea Asperti	fixing	commit \| commitdiff \| tree \| snapshot
2014-12-04	Andrea Asperti	fixing	commit \| commitdiff \| tree \| snapshot
2014-12-04	Andrea Asperti	fixing	commit \| commitdiff \| tree \| snapshot
2014-12-01	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree \| snapshot
2014-11-30	Ferruccio Guidi	level disambiguation cmpleted! the Grafite file is...	commit \| commitdiff \| tree \| snapshot
2014-11-28	Ferruccio Guidi	- bug fix in the static disambiguation of unified binders	commit \| commitdiff \| tree \| snapshot
2014-11-28	Ferruccio Guidi	- the disambiguation of unified binders continues	commit \| commitdiff \| tree \| snapshot
2014-11-25	Ferruccio Guidi	- ld.dtd updated	commit \| commitdiff \| tree \| snapshot
2014-11-24	Ferruccio Guidi	- static disambiguation of Automath unified binders	commit \| commitdiff \| tree \| snapshot
2014-11-23	Ferruccio Guidi	- new attributes system	commit \| commitdiff \| tree \| snapshot
2014-11-20	Ferruccio Guidi	new intermediate language complete_rg,	commit \| commitdiff \| tree \| snapshot
2014-11-12	Ferruccio Guidi	new message reporting system improves performance signi...	commit \| commitdiff \| tree \| snapshot
2014-11-11	Ferruccio Guidi	- commit completed :)	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit contnues by updating the RTM and modifying...	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit continues	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit continues with some refactoring ...	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the commit continues with the support for validation...	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	the partial commit continues	commit \| commitdiff \| tree \| snapshot
2014-11-10	Ferruccio Guidi	we begin the commit of the validation procedure	commit \| commitdiff \| tree \| snapshot
2014-11-04	Ferruccio Guidi	Web site update	commit \| commitdiff \| tree \| snapshot
2014-11-01	Ferruccio Guidi	web site updated with document J2	commit \| commitdiff \| tree \| snapshot
2014-10-28	Ferruccio Guidi	\lambda\delta version 2A released on Web site	commit \| commitdiff \| tree \| snapshot
2014-10-28	Ferruccio Guidi	- milestone update in basic_2 (basic_2a released)	commit \| commitdiff \| tree \| snapshot
2014-10-27	Ferruccio Guidi	- the trace is explicit in all auto tactics with depth > 1	commit \| commitdiff \| tree \| snapshot
2014-10-26	Ferruccio Guidi	- some renaming according to the written version of...	commit \| commitdiff \| tree \| snapshot
2014-10-22	Ferruccio Guidi	minor web site update	commit \| commitdiff \| tree \| snapshot
2014-10-21	Claudio Sacerdoti...	Typos.	commit \| commitdiff \| tree \| snapshot
2014-10-20	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree \| snapshot
2014-10-19	Ferruccio Guidi	- grafiteParser: we added the comand "defined" as a...	commit \| commitdiff \| tree \| snapshot
2014-10-15	Ferruccio Guidi	more automation for cpcs ...	commit \| commitdiff \| tree \| snapshot
2014-10-15	Ferruccio Guidi	minor update in basic 2 and in the web site	commit \| commitdiff \| tree \| snapshot
2014-10-13	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2014-10-13	Ferruccio Guidi	- lambdadelta: minor corrections	commit \| commitdiff \| tree \| snapshot
2014-10-09	Ferruccio Guidi	we commit the web site again since last commit had...	commit \| commitdiff \| tree \| snapshot
2014-10-09	Ferruccio Guidi	old pabes removed	commit \| commitdiff \| tree \| snapshot
2014-10-09	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree \| snapshot
2014-10-08	Ferruccio Guidi	- some consequences of preservation added	commit \| commitdiff \| tree \| snapshot
2014-10-05	Ferruccio Guidi	catched typecheker failures in auto allow more applicat...	commit \| commitdiff \| tree \| snapshot
2014-10-05	Ferruccio Guidi	contrib update ...	commit \| commitdiff \| tree \| snapshot
2014-10-04	Ferruccio Guidi	the commit was incomplete (as is often the case :( )	commit \| commitdiff \| tree \| snapshot
2014-10-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2014-10-04	Ferruccio Guidi	- nnAuto: we catch TypeCheckerFailure generated at...	commit \| commitdiff \| tree \| snapshot
2014-10-02	Ferruccio Guidi	now the update is complete	commit \| commitdiff \| tree \| snapshot
2014-10-02	Ferruccio Guidi	previous commit was not complete :(	commit \| commitdiff \| tree \| snapshot
2014-10-02	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2014-10-02	Ferruccio Guidi	- fpbg can be reflexive (example given)	commit \| commitdiff \| tree \| snapshot
2014-09-30	Ferruccio Guidi	minor update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2014-09-30	Ferruccio Guidi	notation update for pointwise union	commit \| commitdiff \| tree \| snapshot
2014-09-17	Andrea Asperti	big_O.ma	commit \| commitdiff \| tree \| snapshot
2014-09-17	Andrea Asperti	toolkit.ma	commit \| commitdiff \| tree \| snapshot
2014-09-17	Claudio Sacerdoti...	lablgtksourceview2 integrated into lablgtk2	commit \| commitdiff \| tree \| snapshot
2014-09-15	Ferruccio Guidi	minor update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2014-09-15	Ferruccio Guidi	notational change of lift, drop, and gget	commit \| commitdiff \| tree \| snapshot
2014-09-14	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2014-09-14	Ferruccio Guidi	slight refactoring in the proof of strong normalization	commit \| commitdiff \| tree \| snapshot
2014-09-12	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2014-09-12	Ferruccio Guidi	one more typo ...	commit \| commitdiff \| tree \| snapshot
2014-09-12	Ferruccio Guidi	bug fix in ththe notation for lists:	commit \| commitdiff \| tree \| snapshot
2014-09-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2014-09-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2014-09-10	Ferruccio Guidi	added an example on lstas showing a difference with...	commit \| commitdiff \| tree \| snapshot
2014-09-10	Ferruccio Guidi	- contrib update for version 2	commit \| commitdiff \| tree \| snapshot
2014-09-10	Claudio Sacerdoti...	New chapter on setoids.	commit \| commitdiff \| tree \| snapshot
2014-09-10	Claudio Sacerdoti...	chapter12 (coinductive) -> chapter13	commit \| commitdiff \| tree \| snapshot
2014-09-10	Ferruccio Guidi	milestone in basic_2 :)	commit \| commitdiff \| tree \| snapshot
2014-09-10	Ferruccio Guidi	commit completed! the new iterated static type assignme...	commit \| commitdiff \| tree \| snapshot
2014-09-03	Ferruccio Guidi	- the PARTIAL COMMIT continues, we issue the "reduction...	commit \| commitdiff \| tree \| snapshot
2014-08-31	Ferruccio Guidi	- new stand-alone definition of lstas (sta and old...	commit \| commitdiff \| tree \| snapshot
2014-08-29	Claudio Sacerdoti...	Notes.	commit \| commitdiff \| tree \| snapshot
2014-08-29	Claudio Sacerdoti...	A tentative chaptern on coinductive types.	commit \| commitdiff \| tree \| snapshot
2014-08-10	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree \| snapshot
2014-08-10	Ferruccio Guidi	some renaming and a minor addition	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom