| 2005-03-16 |
Stefano Zacchiroli | - new pretty printing of interpretations |
commit | commitdiff | tree | snapshot |
| 2005-03-16 |
Stefano Zacchiroli | make and clean also in html/ |
commit | commitdiff | tree | snapshot |
| 2005-03-16 |
Stefano Zacchiroli | removed old HTML files (tagged with "old_htmls") |
commit | commitdiff | tree | snapshot |
| 2005-03-16 |
Stefano Zacchiroli | moogle.html is now generated, it do not needs to be... |
commit | commitdiff | tree | snapshot |
| 2005-03-16 |
Stefano Zacchiroli | generate HTML templates using XSLT starting from a... |
commit | commitdiff | tree | snapshot |
| 2005-03-16 |
Stefano Zacchiroli | look and feel improvements |
commit | commitdiff | tree | snapshot |
| 2005-03-16 |
Stefano Zacchiroli | - re-enginered main moogle template, it is now aware... |
commit | commitdiff | tree | snapshot |
| 2005-03-15 |
Stefano Zacchiroli | - handle metavariables: if at least one of them is... |
commit | commitdiff | tree | snapshot |
| 2005-03-15 |
Stefano Zacchiroli | bugfix when user query contains metas: their context... |
commit | commitdiff | tree | snapshot |
| 2005-03-11 |
Stefano Zacchiroli | Bugfix in restore_from_channel, before this fix hashtab... |
commit | commitdiff | tree | snapshot |
| 2005-03-09 |
Stefano Zacchiroli | added support for open terms in check |
commit | commitdiff | tree | snapshot |
| 2005-03-09 |
Stefano Zacchiroli | support for terms with metas in check |
commit | commitdiff | tree | snapshot |
| 2005-02-14 |
Enrico Tassi | added choose_uri method to console, used by the interpr... |
commit | commitdiff | tree | snapshot |
| 2005-02-14 |
Enrico Tassi | Added heuristic in the Appl case, we beta-expand only... |
commit | commitdiff | tree | snapshot |
| 2005-02-14 |
Enrico Tassi | Fixed remove operation and get_obj (that now correctly... |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | moved a debug print so that it is executed for each... |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | adapted to optional comment lexer interface |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | renaming "remove_term" -> "remove_obj" |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | - fix in intro parsing |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | factorized tacticals separator and terminator |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | added "unindex" to undo indexing of a single object |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | bugfix: method 'advance' now took in input concrete... |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | changed toolbar window type |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | bugfix: avoid executing tactic for the script twice |
commit | commitdiff | tree | snapshot |
| 2005-02-10 |
Stefano Zacchiroli | removed spurious dependency on Dbi_mysql |
commit | commitdiff | tree | snapshot |
| 2005-02-09 |
Stefano Zacchiroli | added script support a la coqide |
commit | commitdiff | tree | snapshot |
| 2005-02-09 |
Stefano Zacchiroli | - fixed "error loading dom error" avoiding sequent_view... |
commit | commitdiff | tree | snapshot |
| 2005-02-09 |
Stefano Zacchiroli | moved lockScript to MatitaScript module |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | 0.1.0-1 entry |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | strip debian version from META version |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | use wildcard in install target so that binary objects... |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | added a missing unchecked_to_frozen (fixes a Not_found... |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Enrico Tassi | at_least now supports the ownerized tables |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | added boxml namespace |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | - changed license to lgpl |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | debian changes target release 0.1.0 |
commit | commitdiff | tree | snapshot |
| 2005-02-08 |
Stefano Zacchiroli | included lgpl |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Stefano Zacchiroli | added TODO file |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Stefano Zacchiroli | added support for directory browsing in cicBrowser |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Stefano Zacchiroli | rebuilt |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Stefano Zacchiroli | connected change tactic (proof of concept) |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Enrico Tassi | removed chosenTransformer.ml* |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Enrico Tassi | removed chosenTransformer.mli |
commit | commitdiff | tree | snapshot |
| 2005-02-07 |
Enrico Tassi | sync with Xml.pp |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | fix join on multiple tables |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Enrico Tassi | fixed Gzip bug in Xml.pp |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Enrico Tassi | saves to gzip |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Enrico Tassi | added library table and owner tables handling in the... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | escape exception name and arguments embedded in root... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | bugfix: handling of local resources (not to be cached... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | changed local_url so that it returns the local part... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | - removed special handling of universes (no longer... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | "thin" version of the configuration file (exploits... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | - added some default values (no longer explicitely... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | added gzip support to Xml |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Enrico Tassi | locate now searched bot the standard library and the... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Enrico Tassi | fix |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | return also .types uri in getalluris/ |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | parameterized lexer so that comment tokens could be... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | removed dep on mathql |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | rebuilt |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | - removed dependency on mathql |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | - added init method |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | rebuild |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | - simplified environment handling: |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | local_url predicate (recognize file:// urls) |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | do not cache local resources (i.e. file:// urls) |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | create path towards dbm file |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | removed ancient mathql deps |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | - clean no longer unregister URIs from the getter,... |
commit | commitdiff | tree | snapshot |
| 2005-02-04 |
Stefano Zacchiroli | cosmetic changes |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | target 0.1.0 changelog (not yet released ...) |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | uniformed default values handling, now they are all... |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | - added main that starts a new http_daemon given a... |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | cosmetic changes (no longer open Neturl) |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | removed Makefile.overrides |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | rebuilt |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | - moved ocamldoc comments in .mli |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | added warn and error for messaging |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | added http_types.mli: Makefile.overrides is now useless |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | removed useless dont_fork and obj_foo examples |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | ported to daemon_spec |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | - ported to daemon_spec |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | - added sigpipe handling to avoid processes get killed... |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | added head_callback to access response status and heade... |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | fixed currentproof |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | better owner hadling |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | MetadataDb.clean doesn't need ~owner since table names... |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | owners table not needed |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | added new ownerize function |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | new metadataTypes interface (with ownerize function) |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | removed uri parameter from load_proof |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | rebuilt |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | removed spurious load of a local gTopLevel.conf.xml |
commit | commitdiff | tree | snapshot |
| 2005-02-02 |
Stefano Zacchiroli | - implemented inductive type rendering |
commit | commitdiff | tree | snapshot |
| 2005-02-02 |
Stefano Zacchiroli | added inductive_name field to inductive definitions... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog