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

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

2015-02-11	Ferruccio Guidi	components: subst1 csubst0 csubst1 fsubst0	commit \| commitdiff \| tree
2015-02-11	Ferruccio Guidi	components: subst csubv	commit \| commitdiff \| tree
2015-02-10	Ferruccio Guidi	components: subst0	commit \| commitdiff \| tree
2015-02-09	Ferruccio Guidi	components: clen lift1 drop1	commit \| commitdiff \| tree
2015-02-08	Ferruccio Guidi	components: clear getl cimp	commit \| commitdiff \| tree
2015-02-08	Ferruccio Guidi	components cnt drop	commit \| commitdiff \| tree
2015-02-06	Ferruccio Guidi	some improvements in the anticipator	commit \| commitdiff \| tree
2015-02-05	Ferruccio Guidi	depend update	commit \| commitdiff \| tree
2015-02-04	Ferruccio Guidi	components C r flt app lift	commit \| commitdiff \| tree
2015-02-04	Ferruccio Guidi	- matitac: now directories are allowed as command line...	commit \| commitdiff \| tree
2015-02-04	Ferruccio Guidi	- some improvements in the generation of terms	commit \| commitdiff \| tree
2015-02-03	Ferruccio Guidi	- we generate the terms in anticipated form (the are...	commit \| commitdiff \| tree
2015-01-30	Ferruccio Guidi	porting of basic_1 for the ng_kernel: first step ...	commit \| commitdiff \| tree
2015-01-30	Ferruccio Guidi	notation ast updated to comply with the toplevel let...	commit \| commitdiff \| tree
2015-01-22	Ferruccio Guidi	refactoring of \lambda\delta version 1 in matita	commit \| commitdiff \| tree
2015-01-22	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree
2015-01-22	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree
2015-01-22	Ferruccio Guidi	informational page on ground_1	commit \| commitdiff \| tree
2015-01-20	Ferruccio Guidi	basic_1: we separate theorems and lemmas as in basic_2	commit \| commitdiff \| tree
2015-01-19	Ferruccio Guidi	update in web page for basic_1	commit \| commitdiff \| tree
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	commit \| commitdiff \| tree
2015-01-16	Ferruccio Guidi	lambdadelta_1: bugfix	commit \| commitdiff \| tree
2015-01-16	Ferruccio Guidi	infrastructure to browse lambdadelta_1 remotely	commit \| commitdiff \| tree
2015-01-15	Ferruccio Guidi	lambdadelta_1 updated with new part names	commit \| commitdiff \| tree
2015-01-11	Ferruccio Guidi	we restored the scripts of \lambda\delta version 1	commit \| commitdiff \| tree
2015-01-04	Ferruccio Guidi	- xhtbl: minor improvement	commit \| commitdiff \| tree
2014-12-31	Ferruccio Guidi	last commit for helena 0.8.2	commit \| commitdiff \| tree
2014-12-26	Ferruccio Guidi	the corrected "Grundlagen" is online	commit \| commitdiff \| tree
2014-12-25	Ferruccio Guidi	lddl update with the disambiguated "grundlagen"	commit \| commitdiff \| tree
2014-12-24	Ferruccio Guidi	- bugfix is refreshed state of AutCrg: now we return...	commit \| commitdiff \| tree
2014-12-23	Ferruccio Guidi	- bug fix in the RTM	commit \| commitdiff \| tree
2014-12-16	Ferruccio Guidi	- we add the missing layer constraint on applicability...	commit \| commitdiff \| tree
2014-12-15	Ferruccio Guidi	now type inclusion is correctly managed in the RTM	commit \| commitdiff \| tree
2014-12-14	Ferruccio Guidi	- we are moving from old (patched) management of sort...	commit \| commitdiff \| tree
2014-12-14	Ferruccio Guidi	- we removed a flag from the kernel status	commit \| commitdiff \| tree
2014-12-06	Ferruccio Guidi	- helena: the improved attribute system allows to export...	commit \| commitdiff \| tree
2014-12-01	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree
2014-11-30	Ferruccio Guidi	level disambiguation cmpleted! the Grafite file is...	commit \| commitdiff \| tree
2014-11-28	Ferruccio Guidi	- bug fix in the static disambiguation of unified binders	commit \| commitdiff \| tree
2014-11-28	Ferruccio Guidi	- the disambiguation of unified binders continues	commit \| commitdiff \| tree
2014-11-25	Ferruccio Guidi	- ld.dtd updated	commit \| commitdiff \| tree
2014-11-24	Ferruccio Guidi	- static disambiguation of Automath unified binders	commit \| commitdiff \| tree
2014-11-23	Ferruccio Guidi	- new attributes system	commit \| commitdiff \| tree
2014-11-20	Ferruccio Guidi	new intermediate language complete_rg,	commit \| commitdiff \| tree
2014-11-12	Ferruccio Guidi	new message reporting system improves performance significat...	commit \| commitdiff \| tree
2014-11-11	Ferruccio Guidi	- commit completed :)	commit \| commitdiff \| tree
2014-11-10	Ferruccio Guidi	the commit contnues by updating the RTM and modifying...	commit \| commitdiff \| tree
2014-11-10	Ferruccio Guidi	the commit continues	commit \| commitdiff \| tree
2014-11-10	Ferruccio Guidi	the commit continues with some refactoring ...	commit \| commitdiff \| tree
2014-11-10	Ferruccio Guidi	the commit continues with the support for validation...	commit \| commitdiff \| tree
2014-11-10	Ferruccio Guidi	the partial commit continues	commit \| commitdiff \| tree
2014-11-10	Ferruccio Guidi	we begin the commit of the validation procedure	commit \| commitdiff \| tree
2014-11-04	Ferruccio Guidi	Web site update	commit \| commitdiff \| tree
2014-11-01	Ferruccio Guidi	web site updated with document J2	commit \| commitdiff \| tree
2014-10-28	Ferruccio Guidi	\lambda\delta version 2A released on Web site	commit \| commitdiff \| tree
2014-10-28	Ferruccio Guidi	- milestone update in basic_2 (basic_2a released)	commit \| commitdiff \| tree
2014-10-27	Ferruccio Guidi	- the trace is explicit in all auto tactics with depth > 1	commit \| commitdiff \| tree
2014-10-26	Ferruccio Guidi	- some renaming according to the written version of...	commit \| commitdiff \| tree
2014-10-22	Ferruccio Guidi	minor web site update	commit \| commitdiff \| tree
2014-10-20	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2014-10-19	Ferruccio Guidi	- grafiteParser: we added the comand "defined" as a...	commit \| commitdiff \| tree
2014-10-15	Ferruccio Guidi	more automation for cpcs ...	commit \| commitdiff \| tree
2014-10-15	Ferruccio Guidi	minor update in basic 2 and in the web site	commit \| commitdiff \| tree
2014-10-13	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2014-10-13	Ferruccio Guidi	- lambdadelta: minor corrections	commit \| commitdiff \| tree
2014-10-09	Ferruccio Guidi	we commit the web site again since last commit had...	commit \| commitdiff \| tree
2014-10-09	Ferruccio Guidi	old pabes removed	commit \| commitdiff \| tree
2014-10-09	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2014-10-08	Ferruccio Guidi	- some consequences of preservation added	commit \| commitdiff \| tree
2014-10-05	Ferruccio Guidi	catched typecheker failures in auto allow more applications...	commit \| commitdiff \| tree
2014-10-05	Ferruccio Guidi	contrib update ...	commit \| commitdiff \| tree
2014-10-04	Ferruccio Guidi	the commit was incomplete (as is often the case :( )	commit \| commitdiff \| tree
2014-10-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2014-10-04	Ferruccio Guidi	- nnAuto: we catch TypeCheckerFailure generated at...	commit \| commitdiff \| tree
2014-10-02	Ferruccio Guidi	now the update is complete	commit \| commitdiff \| tree
2014-10-02	Ferruccio Guidi	previous commit was not complete :(	commit \| commitdiff \| tree
2014-10-02	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2014-10-02	Ferruccio Guidi	- fpbg can be reflexive (example given)	commit \| commitdiff \| tree
2014-09-30	Ferruccio Guidi	minor update in basic_2 ...	commit \| commitdiff \| tree
2014-09-30	Ferruccio Guidi	notation update for pointwise union	commit \| commitdiff \| tree
2014-09-15	Ferruccio Guidi	minor update in basic_2 ...	commit \| commitdiff \| tree
2014-09-15	Ferruccio Guidi	notational change of lift, drop, and gget	commit \| commitdiff \| tree
2014-09-14	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2014-09-14	Ferruccio Guidi	slight refactoring in the proof of strong normalization	commit \| commitdiff \| tree
2014-09-12	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2014-09-12	Ferruccio Guidi	one more typo ...	commit \| commitdiff \| tree
2014-09-12	Ferruccio Guidi	bug fix in ththe notation for lists:	commit \| commitdiff \| tree
2014-09-10	Ferruccio Guidi	added an example on lstas showing a difference with...	commit \| commitdiff \| tree
2014-09-10	Ferruccio Guidi	- contrib update for version 2	commit \| commitdiff \| tree
2014-09-10	Ferruccio Guidi	milestone in basic_2 :)	commit \| commitdiff \| tree
2014-09-10	Ferruccio Guidi	commit completed! the new iterated static type assignment...	commit \| commitdiff \| tree
2014-09-03	Ferruccio Guidi	- the PARTIAL COMMIT continues, we issue the "reduction...	commit \| commitdiff \| tree
2014-08-31	Ferruccio Guidi	- new stand-alone definition of lstas (sta and old...	commit \| commitdiff \| tree
2014-08-10	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2014-08-10	Ferruccio Guidi	some renaming and a minor addition	commit \| commitdiff \| tree
2014-08-07	Ferruccio Guidi	- bugfixed "aacr" allows to remove historical eta-conversions	commit \| commitdiff \| tree
2014-08-07	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2014-08-06	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2014-08-06	Ferruccio Guidi	- some renaming and minor updates	commit \| commitdiff \| tree
2014-08-05	Ferruccio Guidi	- update in basic_2 and ground_2	commit \| commitdiff \| tree
next

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

RSS Atom