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

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

2006-01-18	Stefano Zacchiroli	changed universes merging order: euristic which improve...	commit \| commitdiff \| tree
2006-01-16	Stefano Zacchiroli	bugfix for missing parens: when the precedence does...	commit \| commitdiff \| tree
2006-01-10	Stefano Zacchiroli	added $Id$	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	changes location of coq.ma (now "legacy/coq.ma")	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	matita standard library is an include path per default	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	coq repository is legacy	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	added stdlib_dir entry	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	added buildTimeConf interface	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	moved coq.ma to library/legacy/	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	- new location for coq.ma	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	do not generate deps for legacy URIs	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	avoid writing in read only baseuris	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	bumped year	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	added support for repository attributes	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	added sample entries with attributes	commit \| commitdiff \| tree
2006-01-09	Stefano Zacchiroli	added cleaning of .lexicon and .metadata files	commit \| commitdiff \| tree
2006-01-08	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree
2006-01-08	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree
2006-01-08	Stefano Zacchiroli	bugfix, removed an hard coded instances of ocaml ABI...	commit \| commitdiff \| tree
2006-01-08	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree
2006-01-07	Stefano Zacchiroli	ported to ocaml 3.09.1	commit \| commitdiff \| tree
2005-12-24	Stefano Zacchiroli	removed spurious CVSROOT from the old repository	commit \| commitdiff \| tree
2005-12-23	Stefano Zacchiroli	removed prova	commit \| commitdiff \| tree
2005-12-23	Stefano Zacchiroli	prova	commit \| commitdiff \| tree
2005-12-23	Stefano Zacchiroli	updated	commit \| commitdiff \| tree
2005-12-23	Stefano Zacchiroli	minor fixes (-nodb works again)	commit \| commitdiff \| tree
2005-12-21	Stefano Zacchiroli	reimplemented specific marshallars on top of generic...	commit \| commitdiff \| tree
2005-12-21	Stefano Zacchiroli	added generic marshaller	commit \| commitdiff \| tree
2005-12-21	Stefano Zacchiroli	old files	commit \| commitdiff \| tree
2005-12-21	Stefano Zacchiroli	removed old Makefile	commit \| commitdiff \| tree
2005-12-20	Stefano Zacchiroli	bugfix: typo which implied using the wrong pattern	commit \| commitdiff \| tree
2005-12-19	Stefano Zacchiroli	upgraded dependency figures	commit \| commitdiff \| tree
2005-12-19	Stefano Zacchiroli	removed spurious arrows from Matita	commit \| commitdiff \| tree
2005-12-19	Stefano Zacchiroli	libraries-ext.ps generation (dep graph with daemons...	commit \| commitdiff \| tree
2005-12-15	Stefano Zacchiroli	ignore generated images	commit \| commitdiff \| tree
2005-12-15	Stefano Zacchiroli	added htaccess	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	bugfix: tactic invocations from contextual menu no...	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	added contextual menu to act over selected terms	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	coercion command now requires an uri	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	ported to new types in grafite*/	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	- coercion now requires an URI	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	abstracted pretty printers over inner pretty printing...	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	changed pattern datatype:	commit \| commitdiff \| tree
2005-12-12	Stefano Zacchiroli	add to the ids_to_father_ids table entries from hypothesis...	commit \| commitdiff \| tree
2005-12-09	Stefano Zacchiroli	commented out some debugging prints	commit \| commitdiff \| tree
2005-12-09	Stefano Zacchiroli	implemented copy/cut/paste/delete/pastePattern	commit \| commitdiff \| tree
2005-12-06	Stefano Zacchiroli	bugfixes:	commit \| commitdiff \| tree
2005-12-05	Stefano Zacchiroli	removed from repository spurious object files	commit \| commitdiff \| tree
2005-12-02	Stefano Zacchiroli	moved (and hence exported) uri rehashing functions...	commit \| commitdiff \| tree
2005-11-30	Stefano Zacchiroli	improved disambiguation section	commit \| commitdiff \| tree
2005-11-28	Stefano Zacchiroli	first part on disambiguation passes	commit \| commitdiff \| tree
2005-11-27	Stefano Zacchiroli	removed deadcode / fixed typos (thanks to ocaml 3.09)	commit \| commitdiff \| tree
2005-11-27	Stefano Zacchiroli	removed dead code (thanks to ocaml 3.09)	commit \| commitdiff \| tree
2005-11-27	Stefano Zacchiroli	crosso compatibility patch which enable building both...	commit \| commitdiff \| tree
2005-11-26	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree
2005-11-26	Stefano Zacchiroli	s/0c2/0c2a/ in .install	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	Bug fixed: removal of .__log was not always attempted.	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	use empty universe in the mono alias phases	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	bugfix: removed unneeded No_choices exception	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	minor changes	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	labels	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	deps	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	added missing deps	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	build paper per default	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	dependency graphs	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	notation intro	commit \| commitdiff \| tree
2005-11-25	Stefano Zacchiroli	changed META dependency	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries, matita changed...	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries.	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	split non-logic level of whelp away from metadataQuery...	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	added missing dependency	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	removed the need of REQUIRES in libraries Makefile...	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	bugfix: libraries.ps works again	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	prose	commit \| commitdiff \| tree
2005-11-24	Stefano Zacchiroli	minimal introduction	commit \| commitdiff \| tree
2005-11-23	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree
2005-11-23	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree
2005-11-23	Stefano Zacchiroli	ocaml 3.09 transition	commit \| commitdiff \| tree
2005-11-23	Stefano Zacchiroli	0.7.2 version (ancient)	commit \| commitdiff \| tree
2005-11-22	Stefano Zacchiroli	- more resilient to proof checking failures during...	commit \| commitdiff \| tree
2005-11-22	Stefano Zacchiroli	support pretty printing of Cic.Implicit	commit \| commitdiff \| tree
2005-11-22	Stefano Zacchiroli	bugfix: return unshared sequent when applying cic ...	commit \| commitdiff \| tree
2005-11-21	Stefano Zacchiroli	split body away to ease inclusion from elsewhere	commit \| commitdiff \| tree
2005-11-21	Stefano Zacchiroli	split to easy inclusion	commit \| commitdiff \| tree
2005-11-21	Stefano Zacchiroli	typo	commit \| commitdiff \| tree
2005-11-21	Stefano Zacchiroli	fixed URI regexp so that URIs containing '-' are allowed	commit \| commitdiff \| tree
2005-11-18	Stefano Zacchiroli	added debug items for enabling/disabling pretty printing...	commit \| commitdiff \| tree
2005-11-18	Stefano Zacchiroli	added support for enabling/disabling (pretty printing...	commit \| commitdiff \| tree
2005-11-17	Stefano Zacchiroli	filled disambiguation algorithm section	commit \| commitdiff \| tree
2005-11-17	Stefano Zacchiroli	followed kluwer guidelines	commit \| commitdiff \| tree
2005-11-17	Stefano Zacchiroli	ported to kluwer style	commit \| commitdiff \| tree
2005-11-16	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-11-16	Stefano Zacchiroli	- begin{grafite} environment for script snippets	commit \| commitdiff \| tree
2005-11-16	Stefano Zacchiroli	ignore bibtex litter	commit \| commitdiff \| tree
2005-11-15	Stefano Zacchiroli	added content level ref	commit \| commitdiff \| tree
2005-11-15	Stefano Zacchiroli	- draft of the first part of disambiguation subsection	commit \| commitdiff \| tree
2005-11-15	Stefano Zacchiroli	cic concrete syntax (w/o notation)	commit \| commitdiff \| tree
2005-11-15	Stefano Zacchiroli	better output formatting	commit \| commitdiff \| tree
2005-11-15	Stefano Zacchiroli	removed grammar rule which used to enable things linke...	commit \| commitdiff \| tree
next

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

RSS Atom