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

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

2016-03-04	Ferruccio Guidi	some corrections ...	tree \| commitdiff
2016-03-04	Ferruccio Guidi	mailstone in ground_2 ...	tree \| commitdiff
2016-02-07	Ferruccio Guidi	update in ground_2	tree \| commitdiff
2016-01-23	Ferruccio Guidi	documentation update	tree \| commitdiff
2015-12-30	Ferruccio Guidi	more minor bugs fixed in the web site	tree \| commitdiff
2015-12-30	Ferruccio Guidi	minor bugs fixed in the web site, and minor updates	tree \| commitdiff
2015-12-30	Ferruccio Guidi	site update for helena 0.8.3	tree \| commitdiff
2015-12-29	Ferruccio Guidi	- final commit for helena 0.8.3	tree \| commitdiff
2015-12-26	Ferruccio Guidi	minor bug fixes ...	tree \| commitdiff
2015-12-26	Ferruccio Guidi	bug fixes ...	tree \| commitdiff
2015-12-10	Ferruccio Guidi	web site minor update	tree \| commitdiff
2015-12-10	Ferruccio Guidi	web site update	tree \| commitdiff
2015-10-30	Ferruccio Guidi	update in ground_2	tree \| commitdiff
2015-10-14	Ferruccio Guidi	stats updated for ground_2	tree \| commitdiff
2015-10-14	Ferruccio Guidi	commit in ground_2	tree \| commitdiff
2015-10-11	Ferruccio Guidi	milestone in ground_2	tree \| commitdiff
2015-09-12	Ferruccio Guidi	minor site update	tree \| commitdiff
2015-09-06	Ferruccio Guidi	scripts for lambdadelta_1 updated with minor corrections	tree \| commitdiff
2015-09-04	Ferruccio Guidi	typo corrected in bibliography	tree \| commitdiff
2015-09-02	Ferruccio Guidi	last commit completed :)	tree \| commitdiff
2015-09-02	Ferruccio Guidi	updated bibliography	tree \| commitdiff
2015-08-07	Ferruccio Guidi	new version of J3a submitted to JFR	tree \| commitdiff
2015-07-07	Ferruccio Guidi	compile-time feature PROFV to profile validation withou...	tree \| commitdiff
2015-07-07	Ferruccio Guidi	grundlagen for coq with timing information	tree \| commitdiff
2015-07-07	Ferruccio Guidi	= test2 for byte and opt	tree \| commitdiff
2015-07-06	Ferruccio Guidi	- multi-file exportation for teyjus	tree \| commitdiff
2015-07-05	Ferruccio Guidi	more flexibility in the exported data for Teyjus	tree \| commitdiff
2015-07-04	Ferruccio Guidi	- conditional compilation continues ...	tree \| commitdiff
2015-07-02	Ferruccio Guidi	initial support for bytecode compilation	tree \| commitdiff
2015-07-01	Ferruccio Guidi	- simpler attribute system	tree \| commitdiff
2015-06-29	Ferruccio Guidi	we are optimizing the code by conditional compilation.	tree \| commitdiff
2015-06-28	Ferruccio Guidi	new semantics of the -g option completed	tree \| commitdiff
2015-06-27	Ferruccio Guidi	- bug fix in the static analyzer allows better Pi/foral...	tree \| commitdiff
2015-06-25	Ferruccio Guidi	advances on exportation to prolog	tree \| commitdiff
2015-06-22	Ferruccio Guidi	command line options rearranged	tree \| commitdiff
2015-06-19	Ferruccio Guidi	new options activated	tree \| commitdiff
2015-06-16	Ferruccio Guidi	new syntax of abstractions propagated to complete_rg	tree \| commitdiff
2015-06-10	Ferruccio Guidi	- siimplifified RTM (one register less) now counts...	tree \| commitdiff
2015-06-08	Ferruccio Guidi	exportation to \lambda\delta representation in elpi	tree \| commitdiff
2015-05-11	Ferruccio Guidi	some changes in lambdadelta butterflies	tree \| commitdiff
2015-03-06	Ferruccio Guidi	updated bibliography for text J1	tree \| commitdiff
2015-03-06	Ferruccio Guidi	- new naming sheme for documentation yields more stable...	tree \| commitdiff
2015-03-05	Ferruccio Guidi	news update and some bugs fixed	tree \| commitdiff
2015-02-21	Ferruccio Guidi	- update for helena 0.8.2 and related files	tree \| commitdiff
2015-02-21	Ferruccio Guidi	additional commit for version 0.8.2	tree \| commitdiff
2015-02-18	Ferruccio Guidi	first article on lambdadelta version 3	tree \| commitdiff
2015-01-22	Ferruccio Guidi	refactoring of \lambda\delta version 1 in matita	tree \| commitdiff
2015-01-22	Ferruccio Guidi	dependences update	tree \| commitdiff
2015-01-22	Ferruccio Guidi	dependences update	tree \| commitdiff
2015-01-22	Ferruccio Guidi	informational page on ground_1	tree \| commitdiff
2015-01-20	Ferruccio Guidi	basic_1: we separate theorems and lemmas as in basic_2	tree \| commitdiff
2015-01-19	Ferruccio Guidi	update in web page for basic_1	tree \| commitdiff
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	tree \| commitdiff
2015-01-16	Ferruccio Guidi	lambdadelta_1: bugfix	tree \| commitdiff
2015-01-16	Ferruccio Guidi	infrastructure to browse lambdadelta_1 remotely	tree \| commitdiff
2015-01-15	Ferruccio Guidi	lambdadelta_1 updated with new part names	tree \| commitdiff
2015-01-11	Ferruccio Guidi	we restored the scripts of \lambda\delta version 1	tree \| commitdiff
2015-01-04	Ferruccio Guidi	- xhtbl: minor improvement	tree \| commitdiff
2014-12-31	Ferruccio Guidi	last commit for helena 0.8.2	tree \| commitdiff
2014-12-26	Ferruccio Guidi	the corrected "Grundlagen" is online	tree \| commitdiff
2014-12-25	Ferruccio Guidi	lddl update with the disambiguated "grundlagen"	tree \| commitdiff
2014-12-24	Ferruccio Guidi	- bugfix is refreshed state of AutCrg: now we return...	tree \| commitdiff
2014-12-23	Ferruccio Guidi	- bug fix in the RTM	tree \| commitdiff
2014-12-23	Claudio Sacerdoti...	0.5.9 released	tree \| commitdiff
2014-12-16	Ferruccio Guidi	- we add the missing layer constraint on applicability...	tree \| commitdiff
2014-12-15	Ferruccio Guidi	now type inclusion is correctly managed in the RTM	tree \| commitdiff
2014-12-14	Ferruccio Guidi	- we are moving from old (patched) management of sort...	tree \| commitdiff
2014-12-14	Ferruccio Guidi	- we removed a flag from the kernel status	tree \| commitdiff
2014-12-06	Ferruccio Guidi	- helena: the improved attribute system allows to expor...	tree \| commitdiff
2014-11-30	Ferruccio Guidi	level disambiguation cmpleted! the Grafite file is...	tree \| commitdiff
2014-11-28	Ferruccio Guidi	- bug fix in the static disambiguation of unified binders	tree \| commitdiff
2014-11-28	Ferruccio Guidi	- the disambiguation of unified binders continues	tree \| commitdiff
2014-11-25	Ferruccio Guidi	- ld.dtd updated	tree \| commitdiff
2014-11-24	Ferruccio Guidi	- static disambiguation of Automath unified binders	tree \| commitdiff
2014-11-23	Ferruccio Guidi	- new attributes system	tree \| commitdiff
2014-11-20	Ferruccio Guidi	new intermediate language complete_rg,	tree \| commitdiff
2014-11-12	Ferruccio Guidi	new message reporting system improves performance signi...	tree \| commitdiff
2014-11-11	Ferruccio Guidi	- commit completed :)	tree \| commitdiff
2014-11-10	Ferruccio Guidi	the commit contnues by updating the RTM and modifying...	tree \| commitdiff
2014-11-10	Ferruccio Guidi	the commit continues	tree \| commitdiff
2014-11-10	Ferruccio Guidi	the commit continues with some refactoring ...	tree \| commitdiff
2014-11-10	Ferruccio Guidi	the commit continues with the support for validation...	tree \| commitdiff
2014-11-10	Ferruccio Guidi	the partial commit continues	tree \| commitdiff
2014-11-10	Ferruccio Guidi	we begin the commit of the validation procedure	tree \| commitdiff
2014-11-04	Ferruccio Guidi	Web site update	tree \| commitdiff
2014-11-01	Ferruccio Guidi	web site updated with document J2	tree \| commitdiff
2014-10-28	Ferruccio Guidi	- milestone update in basic_2 (basic_2a released)	tree \| commitdiff
2014-10-22	Ferruccio Guidi	minor web site update	tree \| commitdiff
2014-10-20	Ferruccio Guidi	- update in basic_2	tree \| commitdiff
2014-10-15	Ferruccio Guidi	minor update in basic 2 and in the web site	tree \| commitdiff
2014-10-13	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2014-10-09	Ferruccio Guidi	we commit the web site again since last commit had...	tree \| commitdiff
2014-10-09	Ferruccio Guidi	old pabes removed	tree \| commitdiff
2014-10-09	Ferruccio Guidi	- update in basic_2	tree \| commitdiff
2014-10-05	Ferruccio Guidi	contrib update ...	tree \| commitdiff
2014-10-04	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2014-10-02	Ferruccio Guidi	now the update is complete	tree \| commitdiff
2014-10-02	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2014-09-30	Ferruccio Guidi	minor update in basic_2 ...	tree \| commitdiff
2014-09-15	Ferruccio Guidi	minor update in basic_2 ...	tree \| commitdiff
next

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

RSS Atom