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

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

2016-06-09	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-06-09	Ferruccio Guidi	frees_drops completed!	commit \| commitdiff \| tree \| snapshot
2016-06-06	Ferruccio Guidi	work in progress on frees_drops	commit \| commitdiff \| tree \| snapshot
2016-06-06	Ferruccio Guidi	MaTeX:	commit \| commitdiff \| tree \| snapshot
2016-06-01	Ferruccio Guidi	- source web pages for lambdadelta_1	commit \| commitdiff \| tree \| snapshot
2016-05-31	Ferruccio Guidi	- update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-31	Ferruccio Guidi	frees_drops, initial versrion	commit \| commitdiff \| tree \| snapshot
2016-05-30	Ferruccio Guidi	some results on co-composition ...	commit \| commitdiff \| tree \| snapshot
2016-05-29	Ferruccio Guidi	more results on sor ...	commit \| commitdiff \| tree \| snapshot
2016-05-25	Ferruccio Guidi	initial support for lfpx_drops ...	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	more files missing :((	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	une file was missing :(	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	bug fixing ...	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	initial support for lfpx (replaces lpx and the parked...	commit \| commitdiff \| tree \| snapshot
2016-05-24	Claudio Sacerdoti...	added config.ac to the tarball for debian packages	commit \| commitdiff \| tree \| snapshot
2016-05-23	Ferruccio Guidi	initial support for LaTeX-defined notatopn	commit \| commitdiff \| tree \| snapshot
2016-05-22	Ferruccio Guidi	- support fof global alpha-conversion with hyperlinks	commit \| commitdiff \| tree \| snapshot
2016-05-22	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-22	Ferruccio Guidi	- notational change for cpg and cpx	commit \| commitdiff \| tree \| snapshot
2016-05-21	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-21	Ferruccio Guidi	- first results on cpx (dericed from those on cpg)	commit \| commitdiff \| tree \| snapshot
2016-05-19	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-19	Ferruccio Guidi	bug fix in cpg allows to prove lsubr_cpg_trans	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	- ground_2: support for lifts_div4	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	news for matita 0.99.3	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	the source code of matita 0.99.3 is online	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	bugfix ind docbook code for the relise of matita 0...	commit \| commitdiff \| tree \| snapshot
2016-05-08	Ferruccio Guidi	some renaming and reordering of variables	commit \| commitdiff \| tree \| snapshot
2016-05-06	Ferruccio Guidi	pre commit for matita version 0.99.3	commit \| commitdiff \| tree \| snapshot
2016-04-30	Ferruccio Guidi	- matex: support for alpha-conversion completed	commit \| commitdiff \| tree \| snapshot
2016-04-27	Ferruccio Guidi	exportation of lambdadelta 1 with flavoured let recs	commit \| commitdiff \| tree \| snapshot
2016-04-22	Ferruccio Guidi	- partial commit of rt_transition ...	commit \| commitdiff \| tree \| snapshot
2016-04-18	Ferruccio Guidi	milestone in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2016-04-18	Ferruccio Guidi	ground_2: generic rt-transition counter	commit \| commitdiff \| tree \| snapshot
2016-04-18	Ferruccio Guidi	As required by M. Maietti,	commit \| commitdiff \| tree \| snapshot
2016-04-16	Ferruccio Guidi	refactoring to park the notions:	commit \| commitdiff \| tree \| snapshot
2016-04-16	Ferruccio Guidi	universary milestone in basic_2	commit \| commitdiff \| tree \| snapshot
2016-04-16	Ferruccio Guidi	- former llpx_sn an lleq reactivated as lfxs and lfeq	commit \| commitdiff \| tree \| snapshot
2016-04-12	Ferruccio Guidi	- first working commit of the static component ..	commit \| commitdiff \| tree \| snapshot
2016-04-11	Ferruccio Guidi	- advances on drops	commit \| commitdiff \| tree \| snapshot
2016-04-08	Ferruccio Guidi	renaming ...	commit \| commitdiff \| tree \| snapshot
2016-04-08	Ferruccio Guidi	minor additions :)	commit \| commitdiff \| tree \| snapshot
2016-04-08	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-04-08	Ferruccio Guidi	- commit of the "s_computation" component ...	commit \| commitdiff \| tree \| snapshot
2016-04-07	Ferruccio Guidi	the newly generated web pages ...	commit \| commitdiff \| tree \| snapshot
2016-04-07	Ferruccio Guidi	- advances in the site generation architecture	commit \| commitdiff \| tree \| snapshot
2016-04-04	Ferruccio Guidi	one file was missing	commit \| commitdiff \| tree \| snapshot
2016-04-04	Ferruccio Guidi	EBNF definition of OSN begins ...	commit \| commitdiff \| tree \| snapshot
2016-04-03	Ferruccio Guidi	- initial description of OSN	commit \| commitdiff \| tree \| snapshot
2016-04-03	Ferruccio Guidi	images for Open Symbolic Notation (OSN)	commit \| commitdiff \| tree \| snapshot
2016-04-01	Ferruccio Guidi	update in ground_2 and basic_2 ...	commit \| commitdiff \| tree \| snapshot
2016-04-01	Ferruccio Guidi	- new component "s_transition" for the restored fqu...	commit \| commitdiff \| tree \| snapshot
2016-03-31	Ferruccio Guidi	- uniform relocations	commit \| commitdiff \| tree \| snapshot
2016-03-28	Ferruccio Guidi	minor correction on "source" production	commit \| commitdiff \| tree \| snapshot
2016-03-28	Ferruccio Guidi	minor additions ...	commit \| commitdiff \| tree \| snapshot
2016-03-27	Ferruccio Guidi	update in basic_2 and apps_2 ...	commit \| commitdiff \| tree \| snapshot
2016-03-27	Ferruccio Guidi	- minor corrections	commit \| commitdiff \| tree \| snapshot
2016-03-25	Ferruccio Guidi	another file was missing :(	commit \| commitdiff \| tree \| snapshot
2016-03-25	Ferruccio Guidi	- probe: now includes source character count (was:...	commit \| commitdiff \| tree \| snapshot
2016-03-24	Ferruccio Guidi	support for printing the number of objects grouped...	commit \| commitdiff \| tree \| snapshot
2016-03-23	Ferruccio Guidi	more files to commit .... :(	commit \| commitdiff \| tree \| snapshot
2016-03-23	Ferruccio Guidi	- ng_kernel: we print the offending term when guarded_b...	commit \| commitdiff \| tree \| snapshot
2016-03-21	Ferruccio Guidi	update in ground_2	commit \| commitdiff \| tree \| snapshot
2016-03-21	Ferruccio Guidi	rtmaps with finite colength	commit \| commitdiff \| tree \| snapshot
2016-03-18	Ferruccio Guidi	advances in the theory of drops, lexs, and frees ...	commit \| commitdiff \| tree \| snapshot
2016-03-13	Ferruccio Guidi	- new syntax for let rec/corec with flavor specifier...	commit \| commitdiff \| tree \| snapshot
2016-03-10	Ferruccio Guidi	- ground_2: some additions	commit \| commitdiff \| tree \| snapshot
2016-03-10	Ferruccio Guidi	partial commit in the relocation component to move...	commit \| commitdiff \| tree \| snapshot
2016-03-07	Ferruccio Guidi	more results on after ...	commit \| commitdiff \| tree \| snapshot
2016-03-04	Ferruccio Guidi	small improvements and corrections ...	commit \| commitdiff \| tree \| snapshot
2016-03-04	Ferruccio Guidi	some corrections ...	commit \| commitdiff \| tree \| snapshot
2016-03-04	Ferruccio Guidi	mailstone in ground_2 ...	commit \| commitdiff \| tree \| snapshot
2016-03-04	Ferruccio Guidi	commitcompleted: some files were missing :(	commit \| commitdiff \| tree \| snapshot
2016-03-04	Ferruccio Guidi	rtmap (platform-indepent multple relocation): applicati...	commit \| commitdiff \| tree \| snapshot
2016-03-02	Ferruccio Guidi	- second precommit for rtmap	commit \| commitdiff \| tree \| snapshot
2016-02-23	Ferruccio Guidi	precommit for rtmap ...	commit \| commitdiff \| tree \| snapshot
2016-02-21	Ferruccio Guidi	MaTeX	commit \| commitdiff \| tree \| snapshot
2016-02-15	Ferruccio Guidi	now every object is output in a LaTeX environment,...	commit \| commitdiff \| tree \| snapshot
2016-02-10	Ferruccio Guidi	first commit for lreq ...	commit \| commitdiff \| tree \| snapshot
2016-02-10	Ferruccio Guidi	- ground_2: update ...	commit \| commitdiff \| tree \| snapshot
2016-02-10	Ferruccio Guidi	pre commit for lexs ...	commit \| commitdiff \| tree \| snapshot
2016-02-09	Ferruccio Guidi	general slicing reactivated ...	commit \| commitdiff \| tree \| snapshot
2016-02-07	Ferruccio Guidi	update in ground_2	commit \| commitdiff \| tree \| snapshot
2016-02-07	Ferruccio Guidi	- ground_2: support for relocation updated	commit \| commitdiff \| tree \| snapshot
2016-02-04	Ferruccio Guidi	- ground_2: relocation with nstream is now based on...	commit \| commitdiff \| tree \| snapshot
2016-02-02	Ferruccio Guidi	- scope management completed	commit \| commitdiff \| tree \| snapshot
2016-02-02	Ferruccio Guidi	- scope management begins...	commit \| commitdiff \| tree \| snapshot
2016-02-01	Ferruccio Guidi	improved style sheet	commit \| commitdiff \| tree \| snapshot
2016-01-31	Ferruccio Guidi	renaming ...	commit \| commitdiff \| tree \| snapshot
2016-01-30	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree \| snapshot
2016-01-29	Ferruccio Guidi	lift functions and identity map	commit \| commitdiff \| tree \| snapshot
2016-01-26	Ferruccio Guidi	lexicon commands must tbe parsed before grafite command...	commit \| commitdiff \| tree \| snapshot
2016-01-23	Ferruccio Guidi	documentation update	commit \| commitdiff \| tree \| snapshot
2016-01-20	Ferruccio Guidi	nstream: composition completed :)	commit \| commitdiff \| tree \| snapshot
2016-01-14	Ferruccio Guidi	ground_2: web page update	commit \| commitdiff \| tree \| snapshot
2016-01-13	Ferruccio Guidi	missing notation file	commit \| commitdiff \| tree \| snapshot
2016-01-13	Ferruccio Guidi	- ng_kernel: catched Invalid_argument "List.nth" in...	commit \| commitdiff \| tree \| snapshot
2016-01-11	Ferruccio Guidi	- plain anticipation for CIC proofs terms	commit \| commitdiff \| tree \| snapshot
2016-01-04	Ferruccio Guidi	- Const is now processed properly	commit \| commitdiff \| tree \| snapshot
2015-12-30	Ferruccio Guidi	more minor bugs fixed in the web site	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom