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

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

2005-07-28	Stefano Zacchiroli	- re-factoring: dropped sequentViewer in favour of...	commit \| commitdiff \| tree
2005-07-28	Stefano Zacchiroli	bugfix: call add_selection_target each time selection...	commit \| commitdiff \| tree
2005-07-28	Stefano Zacchiroli	added support for (textual) cut and paste of mathml...	commit \| commitdiff \| tree
2005-07-28	Stefano Zacchiroli	added pretty printing of unicode symbols to TeX like...	commit \| commitdiff \| tree
2005-07-28	Stefano Zacchiroli	added attributes re-factoring item	commit \| commitdiff \| tree
2005-07-28	Stefano Zacchiroli	added reverse mapping from unicode to TeX like macro...	commit \| commitdiff \| tree
2005-07-28	Stefano Zacchiroli	workaround for an assertion failure during rendering...	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	refactored gui handling code so that MatitaMathView...	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	proof of concept implementation of cut and paste from...	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	renamed development related windows	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	added #proofConclusion	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	added get_proof_conclusione and list_tl_at	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	highlighted notation keywords	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	fixed cic_notation dependencies	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	better boxes (with more line breaking hints) for objects...	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	bugfix: added xref on ast built via pattern matching...	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	added id_of_annterm: Cic.annterm -> Cic.id	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	bugfix: no more xref on bound names	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	added low level rendering attributes (indent, spacing...	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	rendering from markup to string	commit \| commitdiff \| tree
2005-07-27	Stefano Zacchiroli	improved debugging pretty printing of xref	commit \| commitdiff \| tree
2005-07-26	Stefano Zacchiroli	typo s/\\OF/\\of/	commit \| commitdiff \| tree
2005-07-26	Stefano Zacchiroli	fixed typo in helpers for generating hv and hov boxes	commit \| commitdiff \| tree
2005-07-26	Stefano Zacchiroli	draft version of locate_in_term	commit \| commitdiff \| tree
2005-07-26	Stefano Zacchiroli	unreleased version of the bindings, with more gtkmathview...	commit \| commitdiff \| tree
2005-07-25	Stefano Zacchiroli	merged transformations on top of notation code	commit \| commitdiff \| tree
2005-07-25	Stefano Zacchiroli	handle multiple href	commit \| commitdiff \| tree
2005-07-25	Stefano Zacchiroli	added split	commit \| commitdiff \| tree
2005-07-25	Stefano Zacchiroli	implemented transformations on top of notation code	commit \| commitdiff \| tree
2005-07-25	Stefano Zacchiroli	moved add_xml_declaration here	commit \| commitdiff \| tree
2005-07-25	Stefano Zacchiroli	- addded unicode_of_tex	commit \| commitdiff \| tree
2005-07-20	Stefano Zacchiroli	fixed typo in 'leq interpretation uri which enable...	commit \| commitdiff \| tree
2005-07-19	Stefano Zacchiroli	fixed file descriptor leak	commit \| commitdiff \| tree
2005-07-19	Stefano Zacchiroli	use safe_remove to remove files instead of Unix.unlink	commit \| commitdiff \| tree
2005-07-19	Stefano Zacchiroli	sorted cicBrowser's listings	commit \| commitdiff \| tree
2005-07-19	Stefano Zacchiroli	handled difference associativity for the same level...	commit \| commitdiff \| tree
2005-07-18	Stefano Zacchiroli	added generation og disambiguator META (future name...	commit \| commitdiff \| tree
2005-07-18	Stefano Zacchiroli	- synced notation pretty printing with parsing syntax	commit \| commitdiff \| tree
2005-07-18	Stefano Zacchiroli	added too .moo files notation related statements	commit \| commitdiff \| tree
2005-07-18	Stefano Zacchiroli	- removed old parser	commit \| commitdiff \| tree
2005-07-18	Stefano Zacchiroli	merged cic_notation with matita: good luck!	commit \| commitdiff \| tree
2005-07-18	Stefano Zacchiroli	merged cic_notation with disambiguation: good luck!	commit \| commitdiff \| tree
2005-07-14	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree
2005-07-14	Stefano Zacchiroli	bugfix: removed spurious section "helm_registry" from...	commit \| commitdiff \| tree
2005-07-13	Stefano Zacchiroli	added XmlAttrs attribute for specification of xml attributes...	commit \| commitdiff \| tree
2005-07-13	Stefano Zacchiroli	bugfix: "LPAREN" vs LPAREN	commit \| commitdiff \| tree
2005-07-13	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-09	Stefano Zacchiroli	built test_{lexer,parser} per default	commit \| commitdiff \| tree
2005-07-09	Stefano Zacchiroli	removed dependency on gdome2-xslt	commit \| commitdiff \| tree
2005-07-08	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-08	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-08	Stefano Zacchiroli	added some items	commit \| commitdiff \| tree
2005-07-08	Stefano Zacchiroli	version 0.7.1	commit \| commitdiff \| tree
2005-07-07	Stefano Zacchiroli	added some other items	commit \| commitdiff \| tree
2005-07-07	Stefano Zacchiroli	added some todo items	commit \| commitdiff \| tree
2005-07-07	Stefano Zacchiroli	- new upstream release	commit \| commitdiff \| tree
2005-07-07	Stefano Zacchiroli	s/debian\//debian/: avoid issue on make dist with new...	commit \| commitdiff \| tree
2005-07-07	Stefano Zacchiroli	bumped version to 0.0.7	commit \| commitdiff \| tree
2005-07-07	Stefano Zacchiroli	enable static binding of C/OCaml glue code	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- bugfix: correctly handle real "index.theory"	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added index.theory handling	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	no longer handle Shell exceptions (no more used by...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added backtick function	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	no longer uses Shell library	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- updated META dependencies (no more dbm, no more shell)	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	uses mowgli's getter conffile as sample	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	reimplemented on top of latest getter library (no more...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	bugfix: leave ".theory" suffix in place for theory...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	help string in sync with available commands	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- handle prefixes on the same line in conffile	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added support for multiple binding of the same prefix...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	do not .body/.types/.proof_tree files from ls output	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- bugfix in cache handling for remote resources	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	better exception handling for HTTP errors	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added docu comment	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	typo fixed: s/msemantics/semantics/	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	removed (wrong) output encoding iso-8859-1	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	ported to new getter interface	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	bumped license year	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	new getter implementation: no more DBM maps	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	handle Not_found exception in extension	commit \| commitdiff \| tree
2005-07-04	Stefano Zacchiroli	added some utility functions on filename suffixes	commit \| commitdiff \| tree
2005-07-01	Stefano Zacchiroli	more logging information on received request	commit \| commitdiff \| tree
2005-07-01	Stefano Zacchiroli	uses relative OCAMLPATH	commit \| commitdiff \| tree
2005-06-30	Stefano Zacchiroli	added license stuff	commit \| commitdiff \| tree
2005-06-30	Stefano Zacchiroli	better handling of script names	commit \| commitdiff \| tree
2005-06-30	Stefano Zacchiroli	added a debugging helper	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	fixed bug in response first line parsing (arbitrary...	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	changed get_pair interface, now supports different...	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	added get_pair method	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	moved discovery of METAS dir to configure.ac: script...	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	bugfix: uses awk instead of cut for splitting query...	commit \| commitdiff \| tree
2005-06-22	Stefano Zacchiroli	local use of OCAMLPATH so that ./script.sh should not...	commit \| commitdiff \| tree
2005-06-22	Stefano Zacchiroli	restored local usage of OCAMLPATH so that ./script...	commit \| commitdiff \| tree
2005-06-22	Stefano Zacchiroli	added $(NULL)	commit \| commitdiff \| tree
2005-06-17	Stefano Zacchiroli	removed!	commit \| commitdiff \| tree
next

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

RSS Atom