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

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

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
2005-11-15	Stefano Zacchiroli	tex macros, checked in disambiguation section from...	commit \| commitdiff \| tree
2005-11-14	Stefano Zacchiroli	bugfix, use database name	commit \| commitdiff \| tree
2005-11-14	Stefano Zacchiroli	first draft of db filling script	commit \| commitdiff \| tree
2005-11-10	Stefano Zacchiroli	paper skeleton	commit \| commitdiff \| tree
2005-11-10	Stefano Zacchiroli	added Makefile, llncs style, cvsignore	commit \| commitdiff \| tree
2005-11-07	Stefano Zacchiroli	changed script actions keybindings: s/CTRL-XXX/CTRL...	commit \| commitdiff \| tree
2005-11-07	Stefano Zacchiroli	bugfix: no longer raise End_of_file for scripts ending...	commit \| commitdiff \| tree
2005-11-07	Stefano Zacchiroli	list sorting (to be completed ...)	commit \| commitdiff \| tree
2005-11-07	Stefano Zacchiroli	added tail function	commit \| commitdiff \| tree
2005-11-07	Stefano Zacchiroli	added bool_elim (elimination which preserves infos...	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	added support for ALT-L expansion of tex macros	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	ligature expansion now considers also tex macros	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	exported is_blank	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	added ligatures expansion support functions	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	added support for expansion of ligatures ALT-L will...	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	better distinction of (* ) and (* *) comments	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	avoid losing work on CTRL-N	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	removed no longer needed dependency on pxp	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	more structured makefile	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	"towards a distribution of matita" changes:	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	added tilde_expansion of directory settings	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	added char functions:	commit \| commitdiff \| tree
2005-11-04	Stefano Zacchiroli	changed stack entry representation	commit \| commitdiff \| tree
2005-11-03	Stefano Zacchiroli	Bug fix: index.theory dereferentiation works also for...	commit \| commitdiff \| tree
2005-11-03	Stefano Zacchiroli	missing mlis	commit \| commitdiff \| tree
2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	commit \| commitdiff \| tree
2005-11-02	Stefano Zacchiroli	enable static linking of executables (try "make static")	commit \| commitdiff \| tree
2005-11-02	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2005-11-02	Stefano Zacchiroli	added gcc lib dir for enable static linking of libstdc++	commit \| commitdiff \| tree
2005-11-02	Stefano Zacchiroli	matita distribution stuff	commit \| commitdiff \| tree
2005-10-27	Stefano Zacchiroli	typing errors	commit \| commitdiff \| tree
2005-10-26	Stefano Zacchiroli	added constraing on non-empty context for tactic application	commit \| commitdiff \| tree
2005-10-26	Stefano Zacchiroli	improved Makefile	commit \| commitdiff \| tree
2005-10-25	Stefano Zacchiroli	fixed some type error	commit \| commitdiff \| tree
2005-10-25	Stefano Zacchiroli	new tacticals	commit \| commitdiff \| tree
2005-10-25	Stefano Zacchiroli	ported to new syntactic requirement about terms being...	commit \| commitdiff \| tree
2005-10-25	Stefano Zacchiroli	added iter_option	commit \| commitdiff \| tree
2005-10-25	Stefano Zacchiroli	"better" (????) identification of assertion failures	commit \| commitdiff \| tree
2005-10-24	Stefano Zacchiroli	new semantics, should be the basis for the (re-)implementation	commit \| commitdiff \| tree
2005-10-11	Stefano Zacchiroli	added goals_of_proof	commit \| commitdiff \| tree
2005-10-11	Stefano Zacchiroli	added list_concat	commit \| commitdiff \| tree
2005-10-10	Stefano Zacchiroli	added level2 <-> level3 transformations	commit \| commitdiff \| tree
2005-10-10	Stefano Zacchiroli	- added stack frame tagging	commit \| commitdiff \| tree
2005-10-07	Stefano Zacchiroli	added -nodb support	commit \| commitdiff \| tree
2005-10-07	Stefano Zacchiroli	added support for MATITA_FLAGS and NODB make variables	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	changed functor interface, now based on proofs instead...	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	ignore usual *tex crap	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	added Makefile	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	completed instantiatian of level 2 patterns from level 1	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	bugfix: avoid diversion in "make opt"	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	- better naming	commit \| commitdiff \| tree
next

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

RSS Atom