| 2005-09-23 |
Stefano Zacchiroli | changed .moo format on disk: no longer plain strings... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | CicUtil.profile ==> HExtlib.profile |
tree | commitdiff |
| 2005-09-23 |
Stefano Zacchiroli | bugfix: evaluation of object commands is now atomic... |
tree | commitdiff |
| 2005-09-23 |
Stefano Zacchiroli | "verbose" argument of remove is now optional (default... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | Less feedback during removal of objects. |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | Too many OPTIMIZE TABLES (because of a very stupid... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | save_object_to_disk profiler fixed |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | fix |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | universes are saved to disk |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | The disambiguation now returns the aliases diff. It... |
tree | commitdiff |
| 2005-09-23 |
Stefano Zacchiroli | bugfix for uminus notation, prints parens where needed |
tree | commitdiff |
| 2005-09-23 |
Andrea Asperti | log.ma renamed into ord.ma |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | The new_aliases argument of the functions alias_diff... |
tree | commitdiff |
| 2005-09-23 |
Andrea Asperti | A few changes to factorization and gcd. |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | More notation here and there. |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | More notation here and there: \sup, \divides, \ndivides, ! |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | More notation here and there. |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | Profiling messages grepped out. |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | We do not longer generate inner-types and inner-sorts... |
tree | commitdiff |
| 2005-09-21 |
Stefano Zacchiroli | ported to the new parser interface (Ulexing.lexbuf... |
tree | commitdiff |
| 2005-09-21 |
Stefano Zacchiroli | uses ligatures (as a sample) |
tree | commitdiff |
| 2005-09-20 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-20 |
Claudio Sacerdoti... | More profiling code added. |
tree | commitdiff |
| 2005-09-20 |
Claudio Sacerdoti... | More profiling code inserted. |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | added non-builtin notation for exists |
tree | commitdiff |
| 2005-09-20 |
Enrico Tassi | fixed matitadep: now it should consider ALL depndencies |
tree | commitdiff |
| 2005-09-20 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 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 |
| next |
projects / helm.git / history