]> matita.cs.unibo.it Git - helm.git/history - helm/searchEngine
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / searchEngine /
2005-08-31 Claudio Sacerdoti... Since several weeks whelp did not compile any longer... tree | commitdiff
2005-06-22 Enrico Tassifixed +1 numbering (added when the memory consuming... tree | commitdiff
2005-06-22 Enrico Tassiremoved memory wasting foldright tree | commitdiff
2005-06-22 Enrico Tassistring -> uri tree | commitdiff
2005-06-15 Stefano Zacchiroliported to latest registry interface tree | commitdiff
2005-05-26 Claudio Sacerdoti... Now the links to 7 pages at a time are shown. Cool. tree | commitdiff
2005-05-26 Claudio Sacerdoti... 256 chars max ==> 1024 chars max (because of Coq) tree | commitdiff
2005-05-26 Claudio Sacerdoti... Bugs fixed: tree | commitdiff
2005-05-19 Stefano Zacchiroliconnected instance to the web search engine tree | commitdiff
2005-04-29 Enrico Tassihint -> experimental_hint tree | commitdiff
2005-04-29 Enrico Tassino more moogle... now whelp (config file name and daemo... tree | commitdiff
2005-04-27 Stefano Zacchirolibetter checks on elim input, two conditions are now... tree | commitdiff
2005-04-24 Stefano Zacchiroliadded sample entry for environment_dump configuration... tree | commitdiff
2005-04-24 Stefano Zacchiroliadded CicEnvironment preloading tree | commitdiff
2005-04-20 Stefano Zacchiroliremoved spurious debugging prints tree | commitdiff
2005-04-20 Stefano Zacchirolihtml-escapes user given expression when filling hidden... tree | commitdiff
2005-04-08 Stefano Zacchirolibugfix: opt target should build html pages too tree | commitdiff
2005-04-08 Stefano Zacchiroliadded clickable fingers tree | commitdiff
2005-04-08 Stefano Zacchirolichanged logo: whelp! tree | commitdiff
2005-03-16 Stefano Zacchiroli- bugfix: do not fail when query_kind is missing (e... tree | commitdiff
2005-03-16 Stefano Zacchiroliuser smaller font in result page tree | commitdiff
2005-03-16 Stefano Zacchiroli- new pretty printing of interpretations tree | commitdiff
2005-03-16 Stefano Zacchirolimake and clean also in html/ tree | commitdiff
2005-03-16 Stefano Zacchiroliremoved old HTML files (tagged with "old_htmls") tree | commitdiff
2005-03-16 Stefano Zacchirolimoogle.html is now generated, it do not needs to be... tree | commitdiff
2005-03-16 Stefano Zacchiroligenerate HTML templates using XSLT starting from a... tree | commitdiff
2005-03-16 Stefano Zacchirolilook and feel improvements tree | commitdiff
2005-03-16 Stefano Zacchiroli- re-enginered main moogle template, it is now aware... tree | commitdiff
2005-02-10 Stefano Zacchiroliremoved spurious dependency on Dbi_mysql tree | commitdiff
2005-01-10 Enrico Tassiadded begin list and end list comments to help moogle... tree | commitdiff
2004-12-21 Stefano Zacchiroliadded an hyperlink to the input syntax page tree | commitdiff
2004-12-21 Stefano Zacchiroliimproved input syntax page with example queries of... tree | commitdiff
2004-12-21 Stefano Zacchiroliadded URI printing in the result page (so that mouse... tree | commitdiff
2004-12-09 Stefano Zacchiroliported to new format of Parse_error exception (which... tree | commitdiff
2004-12-03 Stefano Zacchirolimoogle syntax help page, actually contains only syntax... tree | commitdiff
2004-12-03 Stefano Zacchiroliported to universes tree | commitdiff
2004-11-18 Stefano Zacchiroliported to Mysql native connection tree | commitdiff
2004-10-26 Stefano Zacchirolibugfix: implemented interactive_user_uri_choice (trivia... tree | commitdiff
2004-10-25 Stefano Zacchiroliimplemented pagination tree | commitdiff
2004-10-25 Stefano Zacchirolirebuilt tree | commitdiff
2004-10-25 Stefano Zacchiroli- bugfix use disambiguator metasenv for initial proof... tree | commitdiff
2004-10-25 Stefano Zacchiroliadded CSS information for (forthcoming) bottom bar tree | commitdiff
2004-10-25 Stefano Zacchiroli- reimplemented basic features using the helm-metadata... tree | commitdiff
2004-09-20 Stefano Zacchirolifixed parse error for ocaml 3.08 tree | commitdiff
2004-06-22 Stefano Zacchiroliugliness changes: tree | commitdiff
2004-06-16 Claudio Sacerdoti... atmost/atleast/exactly constraints are now used only... tree | commitdiff
2004-06-16 Stefano Zacchiroliin the particular case of simple searches, Andrea atmos... tree | commitdiff
2004-06-16 Andrea Aspertifirst moogle commit tree | commitdiff
2004-05-25 Luca Padovani##################################################... tree | commitdiff
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API tree | commitdiff
2004-05-19 Andrea Aspertifirst moogle template checkin tree | commitdiff
2004-05-13 Ferruccio Guidi- some code patched tree | commitdiff
2004-04-22 Claudio Sacerdoti... expandasking parameter passed to UWOBO. tree | commitdiff
2004-04-22 Claudio Sacerdoti... mysql_connection.* keys added tree | commitdiff
2004-04-22 Stefano Zacchiroliadded /help method (needed by respawner) tree | commitdiff
2004-03-10 Claudio Sacerdoti... interpretation_choices not declared tree | commitdiff
2004-03-09 Claudio Sacerdoti... escape/unescape no longer works with '+'; tree | commitdiff
2004-03-09 Claudio Sacerdoti... Parameter forgot. tree | commitdiff
2004-03-09 Claudio Sacerdoti... Partially ported to new disambiguating parser. tree | commitdiff
2004-03-09 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2004-03-09 Claudio Sacerdoti... - non empty metasenv after the parsing phase are now... tree | commitdiff
2004-03-08 Claudio Sacerdoti... Disambiguation can now return more than one choice. tree | commitdiff
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized tree | commitdiff
2004-02-18 Claudio Sacerdoti... ... tree | commitdiff
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry tree | commitdiff
2004-02-17 Claudio Sacerdoti... New key postgresql_connection_string. tree | commitdiff
2004-02-17 Claudio Sacerdoti... Reindentation. tree | commitdiff
2004-02-17 Claudio Sacerdoti... mathql_db_map.txt now retrieved by Helm_registry. tree | commitdiff
2004-02-17 Claudio Sacerdoti... - ported to Helm_registry tree | commitdiff
2004-01-19 Claudio Sacerdoti... Missing package dependency. tree | commitdiff
2003-12-16 Stefano Zacchiroli- ported to new output_html Disambiguate callback tree | commitdiff
2003-10-29 Ferruccio Guidisome interfaces changed to prepare the mathql code... tree | commitdiff
2003-09-04 Ferruccio GuidiCGLocateInductive patched tree | commitdiff
2003-09-04 Ferruccio Guidiadded the support for the "Locate Inductive Principles... tree | commitdiff
2003-07-29 Ferruccio Guidi- the mathql interpreter is not helm-dependent any... tree | commitdiff
2003-07-17 Ferruccio Guidi- new generated query "unreferred" implemented at serve... tree | commitdiff
2003-07-02 Claudio Sacerdoti... Bug fixed: deselecting a constraint just forgot its... tree | commitdiff
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type... tree | commitdiff
2003-06-26 Claudio Sacerdoti... http://....#Prop shortened to Prop due to a bug (featur... tree | commitdiff
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged. tree | commitdiff
2003-06-23 Claudio Sacerdoti... Branch V7_3_new_exportation merged. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.