| 2005-09-20 |
Enrico Tassi | all initialization code is now in the new matitaInit... |
tree | commitdiff |
| 2005-09-20 |
Enrico Tassi | matitadep now parses notation. |
tree | commitdiff |
| 2005-09-20 |
Enrico Tassi | development windows now avoids doing an anction selecti... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | * Obsolete debugging comments removed |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Notation for "ex" introduced. It is the same as the... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | More profiling code. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Great speed-up in alias_diff (about 3x). |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | A bit of profiling functions added here and there. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Spurious interpretation removed. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-19 |
Stefano Zacchiroli | added list.ma |
tree | commitdiff |
| 2005-09-19 |
Stefano Zacchiroli | - avoid catching top level exceptions when the relevant... |
tree | commitdiff |
| 2005-09-19 |
Stefano Zacchiroli | splitted command line arguments among debugging and... |
tree | commitdiff |
| 2005-09-19 |
Stefano Zacchiroli | - added support for -debug, which avoid catching top... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Removed final question marks from {apply|elim|rewrite}s. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Some code that used to avoid a fixed bug removed. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | .ma inclusions corrected/minimized |
tree | commitdiff |
| 2005-09-16 |
Enrico Tassi | added a function to reorder the metasenv. |
tree | commitdiff |
| 2005-09-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | added notation for: nleq, ngeq, nless, and ngtr |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | added notation for nleq, nlgt, ... |
tree | commitdiff |
| 2005-09-15 |
Claudio Sacerdoti... | Yet another implementation of the single aliases /... |
tree | commitdiff |
| 2005-09-15 |
Claudio Sacerdoti... | "bool.ma" is now always included before "logic.ma"... |
tree | commitdiff |
| 2005-09-15 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | improved discriminate test: check if it works on induct... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | added \neq notation |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | bugfix: save "~" backup together with the non-~ version... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | added -debug flag which avoid catching top-level except... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | - changed command line interface of cicbrowser so that... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | moved matita logo in the right place |
tree | commitdiff |
| 2005-09-14 |
Enrico Tassi | bugfixes: |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | enable selections and href handling on elements having... |
tree | commitdiff |
| 2005-09-14 |
Andrea Asperti | Product, pair and projections. |
tree | commitdiff |
| 2005-09-14 |
Andrea Asperti | factorization.ma |
tree | commitdiff |
| 2005-09-14 |
Andrea Asperti | New version of the library. nth_prime, gcd, log. |
tree | commitdiff |
| 2005-09-13 |
Claudio Sacerdoti... | Bug fixed: when several instances are tried during... |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | valid baseuri in template |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | no longer use absolute path for naming notebook labels |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | fixed parsing of --x=x ("'uminus" is now right associative) |
tree | commitdiff |
| 2005-09-13 |
Claudio Sacerdoti... | New policy for the disambiguation passes. |
tree | commitdiff |
| 2005-09-13 |
Claudio Sacerdoti... | useless alias removed |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | removed a comment/bug report about let..in rendering... |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | - changed moo representation in MatitaTypes.status... |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | cosmetic changes |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | fixed dummy_floc |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | - fixed dummy_floc (now in DisambiguateTypes) |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | added moo dumping debug item |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | remove matitamake binaries on clean |
tree | commitdiff |
| 2005-09-13 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-13 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-13 |
Claudio Sacerdoti... | Test fixed. |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | removed left-spacing of 2 em for '(' (useful only for... |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | - de-ALB-ing |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | cic_textual_parser2 -> cic_disambiguation |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | removed work-arounds for poor disambiguation, which... |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | Added support for multiple disambiguation passes. |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | Comment removed. |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | An old note (that goes back to July) integrated in... |
tree | commitdiff |
| 2005-09-09 |
Enrico Tassi | workaround for sequent viewer flickering |
tree | commitdiff |
| 2005-09-09 |
Enrico Tassi | added left/right |
tree | commitdiff |
| 2005-09-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | items related to lazy parsing |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | implemented lazy disambiguation of tactics arguments... |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | added set_metasenv on proof_status |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | - uses runtime base dir to reference logo with qed |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | removed some dead code |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | tests changing under a binder |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | completed test |
tree | commitdiff |
| 2005-09-07 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | done 1 item |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | misc fixes in cic browser queries (pretty printing... |
tree | commitdiff |
| 2005-09-06 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-06 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-06 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-06 |
Claudio Sacerdoti... | New bug exposed. |
tree | commitdiff |
| 2005-09-06 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-06 |
Claudio Sacerdoti... | Bug fixed: the small logo was searched in the wrong... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | Added aliases and notation. |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-05 |
Enrico Tassi | simplify and let-in |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | Assert false (for imbricated theorems) changed to a... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | Critical bug fixed: the get_cooked_obj was called on... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | Typing errors fixed. |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | The logo was searched in the wrong directory. |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | LAMBDA-TYPES moved under contrib, fixed (to use the... |
tree | commitdiff |
| 2005-09-05 |
Ferruccio Guidi | LAMBDA-TYPES moved under contribs |
tree | commitdiff |
| 2005-09-05 |
Enrico Tassi | The popup that asks to generate .moo for a .ma shows... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | Bug fixed: matitac used to stop too early when an ambig... |
tree | commitdiff |
| 2005-09-05 |
Claudio Sacerdoti... | create_owner_environment missing from matitatop initial... |
tree | commitdiff |
| 2005-09-02 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-02 |
Claudio Sacerdoti... | Unsharing removed since it is now used in Cic2acic. |
tree | commitdiff |
| 2005-09-02 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-02 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| next |
projects / helm.git / history