| 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 |
Stefano Zacchiroli | - bugfix: when backtracking restore the appropriate... |
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-19 |
Claudio Sacerdoti... | Profiling code commented out. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | CicUtil.profile made even more polymorphic. |
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-16 |
Stefano Zacchiroli | added entites/overrides for leq, geq, nleq, ngeq, to |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | re-generated |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | uses Hashtbl.replace instead of Hashtbl.add so that: |
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... | Yet another implementation of the single aliases /... |
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 | bugfix in discriminate: now works also with inductive... |
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 | uniformed ppmetasenv to other pp* methods: substs are... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | moved matita logo in the right place |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | bugfix: default "false" used to set the _true_ uri ... |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | fixed a finalization issue for connections closed twice |
tree | commitdiff |
| 2005-09-14 |
Enrico Tassi | bugfixes: |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | done some items |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | added hyperlinks on case pattern heads and outtype |
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 |
Claudio Sacerdoti... | Enabling/disabling profiling is now controlled by a... |
tree | commitdiff |
| 2005-09-13 |
Enrico Tassi | we have to pass back lastmeta and not newmeta (newmeta... |
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 | fixed "let .. in" rendering, adding the break between... |
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 |
Stefano Zacchiroli | added "commands_of_environment" |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | regenerated |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | moved dummy_floc from Disambiguate to DisambiguateTypes... |
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-13 |
Claudio Sacerdoti... | Two bugs fixed in the apply tactic: |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | cic_textual_parser2 ==> cic_disambiguation |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | cic_textual_parser2 ==> cic_disambiguation |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | core_notation.ma ==> core_notation.moo |
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 debugging print |
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 |
Stefano Zacchiroli | added support for multi-aliases in disambiguation envir... |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | added use_coercions flag (imperative :-(, non re-entran... |
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 |
Stefano Zacchiroli | - exported CPS iterator visit_magic |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | Filled pre-generated notation levels with productions... |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | done some items |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | commented Record type constructor |
tree | commitdiff |
| 2005-09-12 |
Claudio Sacerdoti... | An old note (that goes back to July) integrated in... |
tree | commitdiff |
| 2005-09-09 |
Enrico Tassi | the case Appl Meta vs t was not executed in case t... |
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 | removed some debugging prints |
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 | uses Map.equal to compare universes |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | completed test |
tree | commitdiff |
| 2005-09-07 |
Claudio Sacerdoti... | Unsharing bugs fixed. |
tree | commitdiff |
| 2005-09-07 |
Claudio Sacerdoti... | Unsharing bug due to a very stupid typo fixed. |
tree | commitdiff |
| 2005-09-07 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | bugfix: avoid losing attributes on boxes which have... |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | removed dead code |
tree | commitdiff |
| next |
projects / helm.git / history