| 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 |
| 2005-01-17 |
Stefano Zacchiroli | - added helm_ns and xhtml_ns (XHTML and HELM namespace...
|
commit | commitdiff | tree |
| 2005-01-17 |
Stefano Zacchiroli | No longer return HTTP 400 answers or non-xml answers...
|
commit | commitdiff | tree |
| 2005-01-17 |
Stefano Zacchiroli | first (almost) working version: apparently, only generation...
|
commit | commitdiff | tree |
| 2005-01-14 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-13 |
Stefano Zacchiroli | snapshot (1st commit of fix body generation)
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added fallback case (assertion failure) for unsupported...
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added syntax for URIs
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added search commands
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added clean_and_fill, to be invoked on qed
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, not yet completed, but ...
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | - added support for contexts (terms with holes)
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | cosmetic changes
|
commit | commitdiff | tree |
| 2005-01-05 |
Stefano Zacchiroli | exported lift_from
|
commit | commitdiff | tree |
| 2005-01-05 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | added an hyperlink to the input syntax page
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | improved input syntax page with example queries of...
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | added URI printing in the result page (so that mouse...
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | first commit (in the wrong place --by CSC) of induction...
|
commit | commitdiff | tree |
| 2004-12-11 |
Stefano Zacchiroli | ignores example binaries
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | ported to new format of Parse_error exception (which...
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | (dummy) porting to universes
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | implemented pretty printer for (mutual) (co)inductive...
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | (first) complete implementation of (mutual) (co)inductive...
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | addded inductive definition to AST
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | - enriched Parse_error exception with error location
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | moogle syntax help page, actually contains only syntax...
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | changed "locate" so that it supports shell-like pattern...
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | ported to universes
|
commit | commitdiff | tree |
| 2004-12-02 |
Stefano Zacchiroli | *** empty log message ***
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | - ported tests to newer PP / substitutions
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | - passes subst to FreshNameGenerator
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | removed old debugging prints
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | passes ~subst to FreshNameGenerator
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | passes subst to FreshNameGenerator
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | - pass subst to FreshNameGenerator on mk_fresh_name...
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | bugfix: FreshNameGenerator uses the type checker on...
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | bugfix in type_of_aux' which erroneously discard given...
|
commit | commitdiff | tree |
| 2004-11-26 |
Stefano Zacchiroli | ported to Mysql
|
commit | commitdiff | tree |
| 2004-11-26 |
Stefano Zacchiroli | ported to new xpointer syntax
|
commit | commitdiff | tree |
| 2004-11-25 |
Stefano Zacchiroli | protected invocations to get_cooked_obj with assertion...
|
commit | commitdiff | tree |
| 2004-11-25 |
Stefano Zacchiroli | protected invocations of get_cooked_obj with assertion...
|
commit | commitdiff | tree |
| 2004-11-24 |
Stefano Zacchiroli | guard get_cooked_obj calls with assert false in case...
|
commit | commitdiff | tree |
| 2004-11-24 |
Stefano Zacchiroli | use get_obj instead of get_cooked_obj in order to retrieve...
|
commit | commitdiff | tree |
| 2004-11-22 |
Stefano Zacchiroli | added parse test for
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | set environment trust to false to avoid dummy proof...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | use stateful logger so that the ProofChecker daemon...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | added a stateful logger which remember indentation...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | added set_trust to externally set the trust function...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | ported to Mysql native connection
|
commit | commitdiff | tree |
| 2004-11-15 |
Stefano Zacchiroli | changed reduction tactics ast
|
commit | commitdiff | tree |
| 2004-11-15 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-11-12 |
Stefano Zacchiroli | Fixed an hidden occur check problem: when a Meta is...
|
commit | commitdiff | tree |
| 2004-11-11 |
Stefano Zacchiroli | added dummy entry in CicAst: UserInput
|
commit | commitdiff | tree |
| 2004-11-11 |
Stefano Zacchiroli | snapshot:
|
commit | commitdiff | tree |
| 2004-11-10 |
Stefano Zacchiroli | bumped changelog line to match upload date
|
commit | commitdiff | tree |
| 2004-11-10 |
Stefano Zacchiroli | disabled debugging info
|
commit | commitdiff | tree |
| 2004-11-10 |
Stefano Zacchiroli | parse Baseuri command
|
commit | commitdiff | tree |
| 2004-11-10 |
Stefano Zacchiroli | added Baseuri command
|
commit | commitdiff | tree |
| 2004-11-10 |
Stefano Zacchiroli | commented out some timing messages
|
commit | commitdiff | tree |
| 2004-11-09 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2004-11-09 |
Stefano Zacchiroli | - split compound fields
|
commit | commitdiff | tree |
| 2004-11-09 |
Stefano Zacchiroli | added filling of no_concl_hyp
|
commit | commitdiff | tree |
| 2004-11-09 |
Stefano Zacchiroli | added query to fill no_concl_hyp table
|
commit | commitdiff | tree |
| 2004-11-09 |
Stefano Zacchiroli | formatted
|
commit | commitdiff | tree |
| 2004-11-05 |
Stefano Zacchiroli | filled toolbar and implemented buttons behaviours
|
commit | commitdiff | tree |
| 2004-11-05 |
Stefano Zacchiroli | ported to new cut and letin "API"
|
commit | commitdiff | tree |
| 2004-11-05 |
Stefano Zacchiroli | - added Tactics module as a common point where tactics...
|
commit | commitdiff | tree |
| 2004-11-03 |
Stefano Zacchiroli | snapshot (notably: ported to mysql instead of dbi)
|
commit | commitdiff | tree |
| 2004-11-03 |
Stefano Zacchiroli | no longer use Dbi module but directly use Mysql module...
|
commit | commitdiff | tree |
| 2004-11-03 |
Stefano Zacchiroli | added Auto parsing
|
commit | commitdiff | tree |
| 2004-11-03 |
Stefano Zacchiroli | added Auto and Hint tactic
|
commit | commitdiff | tree |
| 2004-11-02 |
Stefano Zacchiroli | renamed Http_client to Http_user_agent to avoid clashes...
|
commit | commitdiff | tree |
| 2004-10-29 |
Stefano Zacchiroli | ignore typecheck_uri{,.opt}
|
commit | commitdiff | tree |
| 2004-10-29 |
Stefano Zacchiroli | added test script for typechecking URIs given on STDIN
|
commit | commitdiff | tree |
| 2004-10-29 |
Stefano Zacchiroli | - equality test on terms before trying convertibility...
|
commit | commitdiff | tree |
| 2004-10-27 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2004-10-26 |
Stefano Zacchiroli | bugfix: implemented interactive_user_uri_choice (trivial...
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | ported to latest ocaml-http
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | implemented pagination
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | - bugfix use disambiguator metasenv for initial proof...
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | added CSS information for (forthcoming) bottom bar
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | sort hint's result accordingly to the "least goal left...
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | bugfix in cmatch constants_no now consider also the...
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | - added var selection boolean to locate
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | added vars selection boolean on locate
|
commit | commitdiff | tree |
| 2004-10-25 |
Stefano Zacchiroli | - reimplemented basic features using the helm-metadata...
|
commit | commitdiff | tree |
| 2004-10-22 |
Stefano Zacchiroli | added Hint "tactic"
|
commit | commitdiff | tree |
| next |
projects / helm.git / search