]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
.ma inclusions corrected/minimized
[helm.git] / helm / matita /
2005-09-19 Claudio Sacerdoti... .ma inclusions corrected/minimized tree | commitdiff
2005-09-16 Enrico Tassiadded 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 Zacchiroliadded notation for: nleq, ngeq, nless, and ngtr tree | commitdiff
2005-09-16 Stefano Zacchiroliadded 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 Zacchiroliimproved discriminate test: check if it works on induct... tree | commitdiff
2005-09-15 Stefano Zacchiroliadded \neq notation tree | commitdiff
2005-09-15 Stefano Zacchirolibugfix: save "~" backup together with the non-~ version... tree | commitdiff
2005-09-15 Stefano Zacchiroliadded -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 Zacchirolimoved matita logo in the right place tree | commitdiff
2005-09-14 Enrico Tassibugfixes: tree | commitdiff
2005-09-14 Stefano Zacchirolienable selections and href handling on elements having... tree | commitdiff
2005-09-14 Andrea AspertiProduct, pair and projections. tree | commitdiff
2005-09-14 Andrea Aspertifactorization.ma tree | commitdiff
2005-09-14 Andrea AspertiNew 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 Zacchirolivalid baseuri in template tree | commitdiff
2005-09-13 Stefano Zacchirolino longer use absolute path for naming notebook labels tree | commitdiff
2005-09-13 Stefano Zacchirolifixed 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 Zacchiroliremoved 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 Zacchirolicosmetic changes tree | commitdiff
2005-09-13 Stefano Zacchirolifixed dummy_floc tree | commitdiff
2005-09-13 Stefano Zacchiroli- fixed dummy_floc (now in DisambiguateTypes) tree | commitdiff
2005-09-13 Stefano Zacchiroliadded moo dumping debug item tree | commitdiff
2005-09-13 Stefano Zacchiroliremove 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 Zacchiroliremoved 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 Zacchirolicic_textual_parser2 -> cic_disambiguation tree | commitdiff
2005-09-12 Stefano Zacchiroliremoved work-arounds for poor disambiguation, which... tree | commitdiff
2005-09-12 Stefano ZacchiroliAdded 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 Tassiworkaround for sequent viewer flickering tree | commitdiff
2005-09-09 Enrico Tassiadded left/right tree | commitdiff
2005-09-08 Claudio Sacerdoti... ... tree | commitdiff
2005-09-08 Stefano Zacchiroliitems related to lazy parsing tree | commitdiff
2005-09-08 Stefano Zacchiroliimplemented lazy disambiguation of tactics arguments... tree | commitdiff
2005-09-08 Stefano Zacchiroliadded 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 Zacchiroliremoved some dead code tree | commitdiff
2005-09-08 Stefano Zacchirolitests changing under a binder tree | commitdiff
2005-09-08 Stefano Zacchirolicompleted test tree | commitdiff
2005-09-07 Claudio Sacerdoti... ... tree | commitdiff
2005-09-06 Stefano Zacchirolidone 1 item tree | commitdiff
2005-09-06 Stefano Zacchirolimisc 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 Tassisimplify 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 GuidiLAMBDA-TYPES moved under contribs tree | commitdiff
2005-09-05 Enrico TassiThe 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
2005-09-02 Claudio Sacerdoti... ... tree | commitdiff
2005-09-02 Claudio Sacerdoti... Stupid typo fixed. tree | commitdiff
2005-09-02 Claudio Sacerdoti... Missing initialization of the trusting function (for... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-09-01 Claudio Sacerdoti... ... tree | commitdiff
2005-08-31 Claudio Sacerdoti... ... tree | commitdiff
2005-08-31 Claudio Sacerdoti... (** xxx **) ==> (** xxx *) tree | commitdiff
2005-08-30 Claudio Sacerdoti... ... tree | commitdiff
2005-08-30 Claudio Sacerdoti... A parser for aliases implemented (required by the Whelp). tree | commitdiff
2005-08-29 Claudio Sacerdoti... WARNING: this commit changes the DB representation... tree | commitdiff
2005-08-29 Claudio Sacerdoti... ... tree | commitdiff
2005-08-29 Claudio Sacerdoti... ... tree | commitdiff
2005-08-28 Claudio Sacerdoti... ... tree | commitdiff
2005-08-24 Claudio Sacerdoti... ... tree | commitdiff
2005-08-22 Claudio Sacerdoti... ... tree | commitdiff
2005-08-22 Claudio Sacerdoti... Comment removed. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.