]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* the auto AST now has the width
[helm.git] / helm / matita /
2005-06-27 Claudio Sacerdoti... * the auto AST now has the width tree | commitdiff
2005-06-27 Claudio Sacerdoti... * More tactics are now available to matita. tree | commitdiff
2005-06-27 Enrico Tassifix tree | commitdiff
2005-06-27 Enrico Tassimore complex tree | commitdiff
2005-06-27 Claudio Sacerdoti... Nicer output for the "make tests*" commands. tree | commitdiff
2005-06-27 Enrico Tassimore detailed but less verbose and annoying report tree | commitdiff
2005-06-27 Enrico Tassiminor fixes tree | commitdiff
2005-06-26 Enrico Tassithe web interface for the benchmarking system tree | commitdiff
2005-06-25 Ferruccio Guidifirst working (?) version of lapply tree | commitdiff
2005-06-24 Ferruccio Guidilapply tactic continued tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassisnapshot tree | commitdiff
2005-06-24 Enrico Tassishanpshot tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassinigth-bench snapshot tree | commitdiff
2005-06-24 Enrico Tassimatita.conf.xml.sample now has a @@OWNER@@ so that... tree | commitdiff
2005-06-24 Enrico Tassiadded a getter maps updater tree | commitdiff
2005-06-24 Enrico Tassifirst snapshot of the night-profiling tree | commitdiff
2005-06-24 Claudio Sacerdoti... New functions UriManager.uri_is_var, UriManager.uri_is_con. tree | commitdiff
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted... tree | commitdiff
2005-06-23 Enrico TassiMuch simpler (and slightly more performant) implementat... tree | commitdiff
2005-06-23 Andrea AspertiAdded Z, Zplus and its properties. tree | commitdiff
2005-06-23 Claudio Sacerdoti... Tactic discriminate activated in matita. tree | commitdiff
2005-06-23 Claudio Sacerdoti... 1. Tactic generalize ported to patterns and activated... tree | commitdiff
2005-06-22 Enrico Tassifix tree | commitdiff
2005-06-22 Stefano Zacchirolilocal use of OCAMLPATH so that ./script.sh should not... tree | commitdiff
2005-06-18 Enrico Tassifixed increase/decrease size feature tree | commitdiff
2005-06-17 Enrico Tassisupport for goal patterns tree | commitdiff
2005-06-17 Enrico Tassiuses new pattern concrete syntax tree | commitdiff
2005-06-17 Claudio Sacerdoti... more strings to UriManager.uri tree | commitdiff
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa... tree | commitdiff
2005-06-17 Stefano Zacchiroliremoved spurious entry gtkrc tree | commitdiff
2005-06-16 Stefano Zacchiroliuses auto_tac_new instead of auto_tac tree | commitdiff
2005-06-16 Claudio Sacerdoti... Dead code clean-up. tree | commitdiff
2005-06-16 Claudio Sacerdoti... Dead code clean-up. tree | commitdiff
2005-06-16 Enrico Tassiadded decrease and increase font size fantafeature tree | commitdiff
2005-06-16 Claudio Sacerdoti... matita.conf.xml added tree | commitdiff
2005-06-16 Claudio Sacerdoti... removed again (I added it by error :-( tree | commitdiff
2005-06-15 Claudio Sacerdoti... * parsing errors in tests were not detected and the... tree | commitdiff
2005-06-15 Claudio Sacerdoti... The `Record class now records also the name of the... tree | commitdiff
2005-06-15 Claudio Sacerdoti... a parser error is now logged as an error! tree | commitdiff
2005-06-15 Ferruccio Guidisupport for the new tactics lapply and fwd tree | commitdiff
2005-06-15 Claudio Sacerdoti... ... tree | commitdiff
2005-06-15 Stefano Zacchiroliported to latest registry interface tree | commitdiff
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up: tree | commitdiff
2005-06-15 Claudio Sacerdoti... comments syntax changed tree | commitdiff
2005-06-15 Claudio Sacerdoti... incomplete proof completed. tree | commitdiff
2005-06-14 Claudio Sacerdoti... No more %% comments. tree | commitdiff
2005-06-14 Claudio Sacerdoti... incomplete proof completed tree | commitdiff
2005-06-14 Claudio Sacerdoti... typo fixed: simmetry ==> symmetry tree | commitdiff
2005-06-14 Claudio Sacerdoti... incomplete proof terminated tree | commitdiff
2005-06-14 Claudio Sacerdoti... qed missing tree | commitdiff
2005-06-14 Claudio Sacerdoti... Bug fixed: when the final proof_status is not No_proof... tree | commitdiff
2005-06-14 Enrico Tassiadded fullscreen menu item tree | commitdiff
2005-06-13 Stefano Zacchiroliintegrated lablgtksourceview tree | commitdiff
2005-06-13 Enrico Tassicosmetic fix tree | commitdiff
2005-06-13 Enrico Tassirenamed tree | commitdiff
2005-06-13 Enrico Tassifix tree | commitdiff
2005-06-13 Enrico TassiF2 hides the tactics buttons bar tree | commitdiff
2005-06-13 Enrico Tassifix tree | commitdiff
2005-06-13 Enrico Tassiadded syntax hilight for temperino tree | commitdiff
2005-06-13 Enrico Tassiremoved prerr_endline tree | commitdiff
2005-06-13 Enrico Tassifix tree | commitdiff
2005-06-13 Enrico Tassierror tree | commitdiff
2005-06-10 Enrico Tassiadded_test tree | commitdiff
2005-06-10 Enrico Tassiadded records tree | commitdiff
2005-06-10 Claudio Sacerdoti... Got rid of a few bugs. tree | commitdiff
2005-06-10 Claudio Sacerdoti... ... tree | commitdiff
2005-06-09 Claudio Sacerdoti... ... tree | commitdiff
2005-06-09 Claudio Sacerdoti... test_instance.ma moved to interactive/ (whose tests... tree | commitdiff
2005-06-09 Claudio Sacerdoti... intro ==> intros tree | commitdiff
2005-06-09 Claudio Sacerdoti... Error message improved. tree | commitdiff
2005-06-09 Claudio Sacerdoti... No more explicit types for the branches of the matches... tree | commitdiff
2005-06-09 Enrico Tassiadded debug item for coercion tree | commitdiff
2005-06-09 Enrico Tassiadded \n to "file saved" message tree | commitdiff
2005-06-09 Enrico Tassiadded whd before uri_of_term tree | commitdiff
2005-06-09 Claudio Sacerdoti... andrea.ma removed (superseded by match.ma) tree | commitdiff
2005-06-09 Andrea AspertiUpdated to the new syntax for match. tree | commitdiff
2005-06-09 Stefano Zacchirolisimplified cicBrowser: whelp bar is now always visible tree | commitdiff
2005-06-08 Stefano Zacchiroli- handles about:* uris in cicBrowser tree | commitdiff
2005-06-08 Stefano Zacchirolifixed history handling: now both "home" and link reache... tree | commitdiff
2005-06-08 Stefano Zacchirolirewritten cicBrowser handling of uri text entry, still... tree | commitdiff
2005-06-08 Claudio Sacerdoti... Let's try to make the "let rec" construct infer its... tree | commitdiff
2005-06-08 Claudio Sacerdoti... Syntax for top-level "let rec" fixed. tree | commitdiff
2005-06-08 Claudio Sacerdoti... Using the lighter syntax for "let recs". tree | commitdiff
2005-06-08 Claudio Sacerdoti... Using the top-level syntax for let-rec definitions. tree | commitdiff
2005-06-08 Claudio Sacerdoti... The file is now well formed. tree | commitdiff
2005-06-08 Claudio Sacerdoti... Query results were erroneously tagged as directories. tree | commitdiff
2005-06-08 Claudio Sacerdoti... 1. syntax of match changed tree | commitdiff
2005-06-08 Claudio Sacerdoti... The getter maps are now dumped also if matitac exits... tree | commitdiff
2005-06-08 Claudio Sacerdoti... Added new target "make tests" for regression testing. tree | commitdiff
2005-06-08 Claudio Sacerdoti... Harder test (with empty inductive types and left and... tree | commitdiff
2005-06-08 Claudio Sacerdoti... More informative error message. tree | commitdiff
2005-06-08 Stefano Zacchiroliadded icons to entries shown in cicbrowser so that... tree | commitdiff
2005-06-07 Enrico Tassiadded test for coercions tree | commitdiff
2005-06-07 Enrico Tassiadded coercions tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.