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

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

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
2005-10-06	Stefano Zacchiroli	first check in of continuationals implementation	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	in the end: ... proper handling of multiple bindings...	commit \| commitdiff \| tree
2005-10-06	Stefano Zacchiroli	bugfix: multiple bindings of the same key work again	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	completed support for "-nodb", now also matitaclean...	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	s/commands_of_domain_and_codomain_items_list/aliases_of_doma...	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	added metadata "commands"	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	uncommented find_cic_appl_pattern_uris	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	added find	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	removed debug saving of "foo.conf.xml"	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	separated "]]" to avoid clash with (temporary) continuationa...	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	added MATITA_FLAGS support	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	added hmysql dependency	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	- "load_from" no longer clears the previous registry...	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	rebut	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	added hmysql	commit \| commitdiff \| tree
2005-10-05	Stefano Zacchiroli	moved hmysql to a separate module	commit \| commitdiff \| tree
2005-10-04	Stefano Zacchiroli	added filter_map	commit \| commitdiff \| tree
2005-10-03	Stefano Zacchiroli	restated ...	commit \| commitdiff \| tree
2005-09-30	Stefano Zacchiroli	- fixed some metasenv issues	commit \| commitdiff \| tree
2005-09-30	Stefano Zacchiroli	fixed some (more) typos	commit \| commitdiff \| tree
2005-09-30	Stefano Zacchiroli	fixed some typos	commit \| commitdiff \| tree
2005-09-30	Stefano Zacchiroli	continuationals semantics: first draft	commit \| commitdiff \| tree
2005-09-29	Stefano Zacchiroli	moved a (commented) test in a handier position	commit \| commitdiff \| tree
2005-09-28	Stefano Zacchiroli	better precedence handling, should remove useless parens	commit \| commitdiff \| tree
2005-09-28	Stefano Zacchiroli	spotted missing times notation	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	fixed some english typos	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	changed precedence/associativeness handling: relative...	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	added/exported pp_pos & pp_attribute	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	removed .annot files (files containing type annotations...	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	more fine grained debug printing	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	changed type of ids_to_uris table to (Cic.id, UriManager...	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	Better handling of idref propagation, no more Href...	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	moved list_uniq to the extlib	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	added support for multiple idrefs	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	added list_uniq	commit \| commitdiff \| tree
2005-09-27	Stefano Zacchiroli	completed use of \mod and / notation	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	strip heading '\' on Mo s	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	removed some dead code	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	if a node has an xref use it for cut and paste, no...	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	function composition notation	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	div and mod notation ('%' and '\mod')	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	added override for \circ (notation for function composition)	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	added binary version of coq.moo and the corresponding...	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	removed textual version of coq's moo file	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	changed default divide notation to a/b	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	bugfix: reash uris embedded in cic appl patterns	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	- added integrity checks on .moo files	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	better name for a theorem	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	added magic numbers	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	set extlib findlib dependencies	commit \| commitdiff \| tree
2005-09-26	Stefano Zacchiroli	implemented the first bunch of useful functions	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	changed .moo format on disk: no longer plain strings...	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	bugfix: evaluation of object commands is now atomic...	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	"verbose" argument of remove is now optional (default...	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	avoid generating useless parens in mathml contextes...	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	removed a line of dead code	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	avoid pattern matching on attributed terms since this...	commit \| commitdiff \| tree
2005-09-23	Stefano Zacchiroli	bugfix for uminus notation, prints parens where needed	commit \| commitdiff \| tree
2005-09-21	Stefano Zacchiroli	ported to the new parser interface (Ulexing.lexbuf...	commit \| commitdiff \| tree
2005-09-21	Stefano Zacchiroli	uses ligatures (as a sample)	commit \| commitdiff \| tree
2005-09-21	Stefano Zacchiroli	added ligatures support	commit \| commitdiff \| tree
2005-09-21	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	added non-builtin notation for exists	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	changed ast representation of exists	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	pretty printing of literals is now subject to the debug...	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	changed ast representation of exists, now an 'exists...	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	bugfix in default magic handling: consider as having...	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	- bugfix: eta abstractions ignores attributed node...	commit \| commitdiff \| tree
2005-09-20	Stefano Zacchiroli	more refere to bindings in env type definition	commit \| commitdiff \| tree
2005-09-19	Stefano Zacchiroli	added list.ma	commit \| commitdiff \| tree
2005-09-19	Stefano Zacchiroli	- avoid catching top level exceptions when the relevant...	commit \| commitdiff \| tree
next

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

RSS Atom