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

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

2004-01-23	Stefano Zacchiroli	better comment for kernel wrappers	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	a better error message	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	removed useless -thread switch	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	ported to latest lablgtk2 snapshot	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added false test	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- added -thread switch	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	build also cic_textual_parser2	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	updated	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added dependency to lablgtk2.glade	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added -thread switch and dependency on lablgtk2.glade	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	moved disambiguate module away	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	(temporary, waiting for abstraction over disambiguators...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added ChosenTransformer	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	abstracted over which transformer gTopLevel uses (ocaml...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	use "assert false" where needed	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added some match examples/regtests	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	located parse error message	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- bugfix: raise an Invalid_choice insteda of a generic...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added to CicMetaSubst subst wrapper for CicReduction...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- added backup target	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- removed some unneeded dependencies from debian/control	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	prettified	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	use new proofEngineHelpers	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	moved hard coded uris to HelmLibraryObjects	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	ported to cicMetaSubst	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- splitted into cicMetaSubst	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	bugfixes, typos and the hell	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	split into this and cicMetaSubst.mli	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added CicMetaSubst module for metavariable instantiatiation	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	better exception and error messages	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- bugfix: print metas local context in the rigth order	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	snapshot, almost working	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	added a CSC's TODO comment	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	added MkImplicit module for meta handling	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	added Peano module and functions to create natural...	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	added missing depending on (CSC's) helm-cic_textual_parser	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	removed ui_logger, now in external module logger	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	added missing dependencies on mathql-*	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	added logger's META	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	moved to the logger module	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	- added logger module	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	moved here ui_logger from gTopLeve	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	still a working copy, now towards a cleaner implementation ...	commit \| commitdiff \| tree
2004-01-12	Stefano Zacchiroli	added HelmLibraryObjects module	commit \| commitdiff \| tree
2003-12-17	Stefano Zacchiroli	generate gui to temp file in order to catch lablgladecc2...	commit \| commitdiff \| tree
2003-12-17	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-12-17	Stefano Zacchiroli	s/Logger/CicLogger/	commit \| commitdiff \| tree
2003-12-17	Stefano Zacchiroli	use ocaml-http instead of netclient for http requests	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	- ported to new output_html Disambiguate callback	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	s/netclient/http/ in dependencies	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	use ocaml-http instead of netclient for http GET requests	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	- use ocaml-http instead of netclient for http GET...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed old perl versions of graph daemons	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	use new METAS/* names	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed ancient "interface" dir	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed ancient lablgtk, lablgtk_gtkmathview	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed ancient mlminidom	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed ancient pxp dir	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed useless ocamlfind query of the netclient package	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed useless "-package netclient" from one of the...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	bumped version to 0.0.9	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	fixed typo in ocamldoc comment	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	removed dependency on netclient, use http_client module...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	added parse_response_fst_line	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	- return (or iter on) just http response's body	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	added Malformed_response exception	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	added http_client module	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	ported to ocaml 3.07	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	renamed META.src to meta.src so that ocamlfind list...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	- fixed logging in log window so that spurious html...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	renamed module "logger" to "cicLogger" to avoid confusion...	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	sample script.sh which read META files from ocaml/METAS	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	moved META files in METAS/ dir	commit \| commitdiff \| tree
2003-12-16	Stefano Zacchiroli	added support for cic_textual_parser2 module	commit \| commitdiff \| tree
2003-12-15	Stefano Zacchiroli	new experimental cic textual parser: checkin	commit \| commitdiff \| tree
2003-12-10	Stefano Zacchiroli	close RC bug regarding rebuilding with newer gthmathview	commit \| commitdiff \| tree
2003-12-04	Stefano Zacchiroli	debian version 0.0.4-3	commit \| commitdiff \| tree
2003-12-04	Stefano Zacchiroli	added -thread option where needed to make new findlib...	commit \| commitdiff \| tree
2003-12-04	Stefano Zacchiroli	ignore environments	commit \| commitdiff \| tree
2003-12-03	Stefano Zacchiroli	esplicitely add -thread parameter to all compiler invocations	commit \| commitdiff \| tree
2003-12-03	Stefano Zacchiroli	use a list of getter maps	commit \| commitdiff \| tree
2003-12-03	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-10-29	Stefano Zacchiroli	debian version 0.0.4-2	commit \| commitdiff \| tree
2003-10-21	Stefano Zacchiroli	- debian release 0.0.6-3	commit \| commitdiff \| tree
2003-10-13	Stefano Zacchiroli	debian version 0.5.1-2	commit \| commitdiff \| tree
2003-10-13	Stefano Zacchiroli	debian version 0.5.1-1	commit \| commitdiff \| tree
2003-10-10	Stefano Zacchiroli	debian snapshot version 0.0.6-2	commit \| commitdiff \| tree
2003-10-04	Stefano Zacchiroli	debian package for ocaml 3.07	commit \| commitdiff \| tree
2003-09-14	Stefano Zacchiroli	- bumped copyright years	commit \| commitdiff \| tree
2003-09-14	Stefano Zacchiroli	- converted TAB to spaces	commit \| commitdiff \| tree
2003-09-14	Stefano Zacchiroli	- clear hints list upon status submit	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	- added support for dumping environment to file on...	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added environment setting (set by fill_template)	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added environment file setting for each tutor	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added support for dump/restore/clear proof checker...	commit \| commitdiff \| tree
2003-09-13	Stefano Zacchiroli	added notation for reals 0, 1, n	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	use an integer debugging level instead of a boolean one	commit \| commitdiff \| tree
2003-09-07	Stefano Zacchiroli	- use hbugs' describe_callback to render apply-hints...	commit \| commitdiff \| tree
next

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

RSS Atom