| 2005-03-16 |
Stefano Zacchiroli | - bugfix: do not fail when query_kind is missing (e...
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | user smaller font in result page
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | - new pretty printing of interpretations
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | make and clean also in html/
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | removed old HTML files (tagged with "old_htmls")
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | moogle.html is now generated, it do not needs to be...
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | generate HTML templates using XSLT starting from a...
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | look and feel improvements
|
commit | commitdiff | tree |
| 2005-03-16 |
Stefano Zacchiroli | - re-enginered main moogle template, it is now aware...
|
commit | commitdiff | tree |
| 2005-03-15 |
Stefano Zacchiroli | - handle metavariables: if at least one of them is...
|
commit | commitdiff | tree |
| 2005-03-15 |
Stefano Zacchiroli | bugfix when user query contains metas: their context...
|
commit | commitdiff | tree |
| 2005-03-11 |
Stefano Zacchiroli | Bugfix in restore_from_channel, before this fix hashtable...
|
commit | commitdiff | tree |
| 2005-03-09 |
Stefano Zacchiroli | added support for open terms in check
|
commit | commitdiff | tree |
| 2005-03-09 |
Stefano Zacchiroli | support for terms with metas in check
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | moved a debug print so that it is executed for each...
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | adapted to optional comment lexer interface
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | renaming "remove_term" -> "remove_obj"
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | - fix in intro parsing
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | factorized tacticals separator and terminator
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | added "unindex" to undo indexing of a single object
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | bugfix: method 'advance' now took in input concrete...
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | changed toolbar window type
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | bugfix: avoid executing tactic for the script twice
|
commit | commitdiff | tree |
| 2005-02-10 |
Stefano Zacchiroli | removed spurious dependency on Dbi_mysql
|
commit | commitdiff | tree |
| 2005-02-09 |
Stefano Zacchiroli | added script support a la coqide
|
commit | commitdiff | tree |
| 2005-02-09 |
Stefano Zacchiroli | - fixed "error loading dom error" avoiding sequent_viewer...
|
commit | commitdiff | tree |
| 2005-02-09 |
Stefano Zacchiroli | moved lockScript to MatitaScript module
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | 0.1.0-1 entry
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | strip debian version from META version
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | use wildcard in install target so that binary objects...
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | added a missing unchecked_to_frozen (fixes a Not_found...
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | added boxml namespace
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | - changed license to lgpl
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | debian changes target release 0.1.0
|
commit | commitdiff | tree |
| 2005-02-08 |
Stefano Zacchiroli | included lgpl
|
commit | commitdiff | tree |
| 2005-02-07 |
Stefano Zacchiroli | added TODO file
|
commit | commitdiff | tree |
| 2005-02-07 |
Stefano Zacchiroli | added support for directory browsing in cicBrowser
|
commit | commitdiff | tree |
| 2005-02-07 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-02-07 |
Stefano Zacchiroli | connected change tactic (proof of concept)
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | fix join on multiple tables
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | escape exception name and arguments embedded in root...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | bugfix: handling of local resources (not to be cached...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | changed local_url so that it returns the local part...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | - removed special handling of universes (no longer...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | "thin" version of the configuration file (exploits...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | - added some default values (no longer explicitely...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | added gzip support to Xml
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | return also .types uri in getalluris/
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | parameterized lexer so that comment tokens could be...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | removed dep on mathql
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | - removed dependency on mathql
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | - added init method
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | rebuild
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | - simplified environment handling:
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | local_url predicate (recognize file:// urls)
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | do not cache local resources (i.e. file:// urls)
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | create path towards dbm file
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | removed ancient mathql deps
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | - clean no longer unregister URIs from the getter,...
|
commit | commitdiff | tree |
| 2005-02-04 |
Stefano Zacchiroli | cosmetic changes
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | target 0.1.0 changelog (not yet released ...)
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | uniformed default values handling, now they are all...
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | - added main that starts a new http_daemon given a...
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | cosmetic changes (no longer open Neturl)
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | removed Makefile.overrides
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | - moved ocamldoc comments in .mli
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | added warn and error for messaging
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | added http_types.mli: Makefile.overrides is now useless
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | removed useless dont_fork and obj_foo examples
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | ported to daemon_spec
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | - ported to daemon_spec
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | - added sigpipe handling to avoid processes get killed...
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | added head_callback to access response status and headers...
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-02-03 |
Stefano Zacchiroli | removed spurious load of a local gTopLevel.conf.xml
|
commit | commitdiff | tree |
| 2005-02-02 |
Stefano Zacchiroli | - implemented inductive type rendering
|
commit | commitdiff | tree |
| 2005-02-02 |
Stefano Zacchiroli | added inductive_name field to inductive definitions...
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when...
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | removed useless parameter uri from mml_of_cic_object
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | added mathml_ns
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | enriched error message
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | added strip_xpointer: remove trailing #xpointer from...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - avoid redefinition of the same uri (checked in add_...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | uses CicPp.ppsort
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - removed ancient debugging prints
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - renamed Term_not_found exception (useless) with Object_not...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - added handling of exceptions embedded in xml documents...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | exception carried in response xml documents are now...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | added helm:exception handling of Http_getter_types...
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | uniformed prototype of mml_of_cic_{object,sequent}
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | syntax changes: "." at the end of the phrase instead...
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | attributes support (not yet in the pretty printer)
|
commit | commitdiff | tree |
| next |
projects / helm.git / search