]> matita.cs.unibo.it Git - helm.git/search
projects / helm.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
incomplete proof completed
2005-06-14 Claudio Sacerdoti... incomplete proof completed
 commit | commitdiff | tree
2005-06-14 Claudio Sacerdoti... typo fixed: simmetry ==> symmetry
 commit | commitdiff | tree
2005-06-14 Claudio Sacerdoti... incomplete proof terminated
 commit | commitdiff | tree
2005-06-14 Claudio Sacerdoti... qed missing
 commit | commitdiff | tree
2005-06-14 Claudio Sacerdoti... Bug fixed: when the final proof_status is not No_proof...
commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... The type of the left parameters of an inductive type...
commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... Got rid of a few bugs.
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... Got rid of a few warnings.
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... Got rid of a few warnings.
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... an assert failure changed to an exception and a bit...
commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... The user is no longer obliged to give the types for...
commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... debugging to false
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... * (Head) beta reduction functions factorized
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... More debugging infos.
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... unshare.ml*
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... Complete unsharing of terms.
 commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... head_beta_reduce used to create applications of applications...
commit | commitdiff | tree
2005-06-10 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... test_instance.ma moved to interactive/ (whose tests...
commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... intro ==> intros
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... Error message improved.
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... Now CicMetaSubst.delift_rels restricts the Metas when...
commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... No more explicit types for the branches of the matches...
commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... CicSubstitution.delift ==> CicMetaSubst.delift_rels
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... Exception raised by delift changed:
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... Debugging code removed.
 commit | commitdiff | tree
2005-06-09 Claudio Sacerdoti... andrea.ma removed (superseded by match.ma)
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... The type of a top-level "let rec" can be optional.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Let's try to make the "let rec" construct infer its...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Syntax for top-level "let rec" fixed.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Using the lighter syntax for "let recs".
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Using the top-level syntax for let-rec definitions.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... The file is now well formed.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... New syntax (again) for let rec binders:
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... New lighter syntax for "let rec".
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Bug fixed: a symbol must be formed of just one (unicode...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Query results were erroneously tagged as directories.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... 1. syntax of match changed
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Yet another bug fixed in the inference of the outtype...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... The getter maps are now dumped also if matitac exits...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Added new target "make tests" for regression testing.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Fixed a few bugs in the inference of the outtype for...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Fixed inference of outtype for match when the inductive...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... Harder test (with empty inductive types and left and...
commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... More informative error message.
 commit | commitdiff | tree
2005-06-08 Claudio Sacerdoti... clean now also performs clean_metas (since make also...
commit | commitdiff | tree
2005-05-26 Claudio Sacerdoti... Now the links to 7 pages at a time are shown. Cool.
 commit | commitdiff | tree
2005-05-26 Claudio Sacerdoti... 256 chars max ==> 1024 chars max (because of Coq)
 commit | commitdiff | tree
2005-05-26 Claudio Sacerdoti... Bugs fixed:
 commit | commitdiff | tree
2005-05-23 Claudio Sacerdoti... Added sql/drop_mowgli_tables.mysql.sql
 commit | commitdiff | tree
2005-03-22 Claudio Sacerdoti... Bug fixed in assumption_tac: a missing (lift n) when...
commit | commitdiff | tree
2004-11-08 Claudio Sacerdoti... ...
 commit | commitdiff | tree
2004-10-14 Claudio Sacerdoti... Luca (bugged) debugging stuff removed.
 commit | commitdiff | tree
2004-10-14 Claudio Sacerdoti... no_inconcl_aux managed
 commit | commitdiff | tree
2004-10-14 Claudio Sacerdoti... * create_mowgli_tables.mysql.sql added
 commit | commitdiff | tree
2004-09-16 Claudio Sacerdoti... The jsmenu is now under CVS.
 commit | commitdiff | tree
2004-07-05 Claudio Sacerdoti... cleanURI now removes also the part that follows the...
commit | commitdiff | tree
2004-07-05 Claudio Sacerdoti... The URI passed to the control frame must be clean ...
commit | commitdiff | tree
2004-07-05 Claudio Sacerdoti... The part after # must be removed for the control frame.
 commit | commitdiff | tree
2004-07-02 Claudio Sacerdoti... Bug fixed: eta_expand did not perform any recursion...
commit | commitdiff | tree
2004-07-02 Claudio Sacerdoti... Bug fixed: the beta_expansion function did not lift...
commit | commitdiff | tree
2004-06-18 Claudio Sacerdoti... elim_tac rewritten almost entirely. It is now based...
commit | commitdiff | tree
2004-06-18 Claudio Sacerdoti... Added new function compare_metasenvs.
 commit | commitdiff | tree
2004-06-18 Claudio Sacerdoti... Comments changed.
 commit | commitdiff | tree
2004-06-18 Claudio Sacerdoti... - In the case (?i args) vs term the term is now eta...
commit | commitdiff | tree
2004-06-18 Claudio Sacerdoti... New syntax.
 commit | commitdiff | tree
2004-06-18 Claudio Sacerdoti... Fourier URIs changed in V8.
 commit | commitdiff | tree
2004-06-17 Claudio Sacerdoti... - moogle replaces the old search engine
 commit | commitdiff | tree
2004-06-16 Claudio Sacerdoti... atmost/atleast/exactly constraints are now used only...
commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... search.xsl added.
 commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... Added search.xsl (S).
 commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... Stylesheet whose input is an empty document. It calls the
 commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... New profile param: searchengineURL
 commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... Uncommited changes committed.
 commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted using the control panel.
 commit | commitdiff | tree
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted.
 commit | commitdiff | tree
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or...
commit | commitdiff | tree
2004-06-09 Claudio Sacerdoti... - new stylesheets in the predefined set
 commit | commitdiff | tree
2004-06-08 Claudio Sacerdoti... New attributes for ht:* elements proposed by Nijmegen.
 commit | commitdiff | tree
2004-06-03 Claudio Sacerdoti... Objects ordering is now case-insensite.
 commit | commitdiff | tree
2004-05-31 Claudio Sacerdoti... Ordering is now done in no-case style.
 commit | commitdiff | tree
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory...
commit | commitdiff | tree
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced:
 commit | commitdiff | tree
2004-05-30 Claudio Sacerdoti... The theory index.theory, if present, is shown at the...
commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... .body removed from bread crumb trail
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... Links in the control frame when the URI ends with ...
commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... <xsl:import href="toplevel_header.xsl"/>
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... <h1> ==> <h3>
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... stylesheet L added to the metadata chain
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... bread crumb trail added
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... metadataLib.xsl merged into metadataControl.xsl
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... Dead code removed.
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... defaults.js no longer in use
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... Files control.js graphLinks.js utils.js no longer in...
commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... Dead code inclusion removed.
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... No longer in use.
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... No longer in use.
 commit | commitdiff | tree
2004-05-28 Claudio Sacerdoti... ls2html.xsl no longer in use
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.