| 2005-09-27 |
Stefano Zacchiroli | added support for multiple idrefs |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | completed use of \mod and / notation |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | coq.moo is now automatically generated. New targets: |
tree | commitdiff |
| 2005-09-26 |
Enrico Tassi | fix WE HAVE NO UNIVERSE |
tree | commitdiff |
| 2005-09-26 |
Enrico Tassi | ./matitaclean all removes all |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | if a node has an xref use it for cut and paste, no... |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | coq.moo is now automatically generated |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | function composition notation |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | Coq's existential fixed. |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | div and mod notation ('%' and '\mod') |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | matitatop.opt should not be generated |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | Unification enhanchement. |
tree | commitdiff |
| 2005-09-26 |
Alberto Griggio | new signature of auto_tac, with a new optional argument... |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | added binary version of coq.moo and the corresponding... |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | removed textual version of coq's moo file |
tree | commitdiff |
| 2005-09-26 |
Enrico Tassi | MatitacleanLib.remove_baseuris will remove empty direct... |
tree | commitdiff |
| 2005-09-26 |
Andrea Asperti | permutation.ma added to the repository. |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | changed default divide notation to a/b |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | - added integrity checks on .moo files |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | better name for a theorem |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | New module HMysql (to abstract over Mysql and make... |
tree | commitdiff |
| 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 |
| next |
projects / helm.git / history