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

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

2004-07-02	Claudio Sacerdoti...	Bug fixed: eta_expand did not perform any recursion...	commit \| commitdiff \| tree
2004-07-02	Claudio Sacerdoti...	Bug fixed: the beta_expansion function did not lift...	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	elim_tac rewritten almost entirely. It is now based...	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	Added new function compare_metasenvs.	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	Comments changed.	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	- In the case (?i args) vs term the term is now eta...	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	New syntax.	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	Fourier URIs changed in V8.	commit \| commitdiff \| tree
2004-06-17	Claudio Sacerdoti...	- moogle replaces the old search engine	commit \| commitdiff \| tree
2004-06-16	Claudio Sacerdoti...	atmost/atleast/exactly constraints are now used only...	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	search.xsl added.	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Added search.xsl (S).	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Stylesheet whose input is an empty document. It calls the	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	New profile param: searchengineURL	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Uncommited changes committed.	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Interface URL can now be setted using the control panel.	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Interface URL can now be setted.	commit \| commitdiff \| tree
2004-06-09	Claudio Sacerdoti...	The normalization of URIs when the DB is empty (or...	commit \| commitdiff \| tree
2004-06-09	Claudio Sacerdoti...	- new stylesheets in the predefined set	commit \| commitdiff \| tree
2004-06-08	Claudio Sacerdoti...	New attributes for ht:* elements proposed by Nijmegen.	commit \| commitdiff \| tree
2004-06-03	Claudio Sacerdoti...	Objects ordering is now case-insensite.	commit \| commitdiff \| tree
2004-05-31	Claudio Sacerdoti...	Ordering is now done in no-case style.	commit \| commitdiff \| tree
2004-05-31	Claudio Sacerdoti...	theory:path/index.theory are not rewritten to theory...	commit \| commitdiff \| tree
2004-05-30	Claudio Sacerdoti...	Back compatibility code introduced:	commit \| commitdiff \| tree
2004-05-30	Claudio Sacerdoti...	The theory index.theory, if present, is shown at the...	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	.body removed from bread crumb trail	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	Links in the control frame when the URI ends with ...	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	<xsl:import href="toplevel_header.xsl"/>	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	<h1> ==> <h3>	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	stylesheet L added to the metadata chain	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	bread crumb trail added	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	metadataLib.xsl merged into metadataControl.xsl	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	defaults.js no longer in use	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	Files control.js graphLinks.js utils.js no longer in...	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	Dead code inclusion removed.	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	ls2html.xsl no longer in use	commit \| commitdiff \| tree
2004-05-27	Claudio Sacerdoti...	Form to choose the number of nodes to show removed ;-(	commit \| commitdiff \| tree
2004-05-27	Claudio Sacerdoti...	&2C ==> %2C	commit \| commitdiff \| tree
2004-05-27	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2004-05-27	Claudio Sacerdoti...	New HELM interface almost stable.	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	param.processorURL added (need by the search engine)	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	target="_top" added to Search.	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	Link to the search-engine hard-coded.	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	Major interface upgrade still going on. But we are...	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	New icons.	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	Major interface upgrade still going on. But we are...	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	Bug fixed: ls?baseuri=(cic\|theory):/a/ also returned...	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	Major interface improvements.	commit \| commitdiff \| tree
2004-05-26	Claudio Sacerdoti...	JSMmenu links fixed.	commit \| commitdiff \| tree
2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	commit \| commitdiff \| tree
2004-05-19	Claudio Sacerdoti...	Bug fixed: middle-clicking over links in the listing...	commit \| commitdiff \| tree
2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* the input of the function mkMetaTheoryURL must an...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* the URI passed to the rdfly deamon is now CICURI...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* [Luca] string concatenation now made using String...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	xml:base and helm:base are now generated only for theories.	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* tactics/Makefile fixed (to remove duplicate .mli...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	Bug fixed: the xml:base URL and helm:base URI were...	commit \| commitdiff \| tree
2004-04-23	Claudio Sacerdoti...	gt URL pointed to lt	commit \| commitdiff \| tree
2004-04-23	Claudio Sacerdoti...	rdfly hardcoded URL changed from mowgli.cs.unibo.it...	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	expandasking parameter passed to UWOBO.	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	mysql_connection.* keys added	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	mathql_interpreter.mysql_connection.* keys added.	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	Patches to generate ?1 : ?2 : Type in place of ?1 ...	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	IMPLEMENTATION_FILES now generated from INTERFACE_FILES.	commit \| commitdiff \| tree
2004-04-16	Claudio Sacerdoti...	test_equality_only was not used in sort comparison.	commit \| commitdiff \| tree
2004-04-14	Claudio Sacerdoti...	Bug fixed: the following happened.	commit \| commitdiff \| tree
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible to...	commit \| commitdiff \| tree
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible (to...	commit \| commitdiff \| tree
2004-04-05	Claudio Sacerdoti...	http_getter.conf.xml ==> /projects/helm/etc/http_getter...	commit \| commitdiff \| tree
2004-04-05	Claudio Sacerdoti...	URL patching in ENTITY declarations extended to cover...	commit \| commitdiff \| tree
2004-04-05	Claudio Sacerdoti...	XHTML character entities (used in the internal subset...	commit \| commitdiff \| tree
2004-04-04	Claudio Sacerdoti...	ht:DEFINITION/Definition differentiated into	commit \| commitdiff \| tree
2004-04-01	Claudio Sacerdoti...	<VARIABLE as="LocalFact"/> added	commit \| commitdiff \| tree
2004-03-30	Claudio Sacerdoti...	- provastruct.theory.xml removed (what was that exactly?)	commit \| commitdiff \| tree
2004-03-26	Claudio Sacerdoti...	Algebra => CoRN	commit \| commitdiff \| tree
2004-03-26	Claudio Sacerdoti...	tex notation enabled	commit \| commitdiff \| tree
2004-03-22	Claudio Sacerdoti...	load_document(_,NULL) => unload	commit \| commitdiff \| tree
2004-03-22	Claudio Sacerdoti...	- power notation	commit \| commitdiff \| tree
2004-03-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-03-17	Claudio Sacerdoti...	Bug fixed for theorems whose statement are like	commit \| commitdiff \| tree
2004-03-10	Claudio Sacerdoti...	interpretation_choices not declared	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	escape/unescape no longer works with '+';	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Parameter forgot.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Partially ported to new disambiguating parser.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	- non empty metasenv after the parsing phase are now...	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Bug fixed: instead of generating "not ()", I generate...	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Meta no longer raise a failure. Instead they return...	commit \| commitdiff \| tree
2004-03-08	Claudio Sacerdoti...	- reindented	commit \| commitdiff \| tree
2004-03-08	Claudio Sacerdoti...	Disambiguation can now return more than one choice.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Quick & dirty patch to overcome a bug of ocamlfind.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Added option -timeout. Default is 5s.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	\Assign and \subst to match the parser.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	MutCase branches must be parsed and printed using ...	commit \| commitdiff \| tree
next

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

RSS Atom