| 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 |
| 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 | added attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - added string_of_sort
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - added attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | added attributes
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | added attribute support (not yet in the parser)
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | helmns -> helm_ns
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | - added rendering of constants/variable with/without...
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | rendering fixes:
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | - helmns -> helm_ns
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | added cast rendering (used in check window by gTopLevel...
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | added URI concrete syntax
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | added cmdline alias "command" for "tactica"
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | license template
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | read uri from cmdline
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | added pp_location (pretty printer of ast location)
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | added script support
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | added latex style comment, with start token "%%"
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | removed spurious debugging prints
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| next |
projects / helm.git / search