]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
some renaming
[helm.git] / helm /
2005-11-19 Ferruccio Guidisome renaming tree | commitdiff
2005-11-19 Claudio Sacerdoti... Coercions are now inserted also around the sources... tree | commitdiff
2005-11-18 Enrico Tassimore work for coercions tree | commitdiff
2005-11-18 Enrico Tassifix tree | commitdiff
2005-11-18 Enrico Tassifixed coercions undo tree | commitdiff
2005-11-18 Stefano Zacchiroliadded debug items for enabling/disabling pretty printin... tree | commitdiff
2005-11-18 Stefano Zacchiroliadded support for enabling/disabling (pretty printing... tree | commitdiff
2005-11-18 Enrico Tassifix for coercions tree | commitdiff
2005-11-18 Claudio Sacerdoti... Incredible bug fixed: coercions were computed and then... tree | commitdiff
2005-11-18 Enrico Tassisome more on tinycals tree | commitdiff
2005-11-18 Enrico Tassiadded more on tinycals tree | commitdiff
2005-11-18 Claudio Sacerdoti... Improvement/bug fix: rewriting in the hypothesis used... tree | commitdiff
2005-11-18 Claudio Sacerdoti... ... tree | commitdiff
2005-11-17 Claudio Sacerdoti... New test for parallel rewriting in the hypotheses and... tree | commitdiff
2005-11-17 Claudio Sacerdoti... Comments changed/removed. tree | commitdiff
2005-11-17 Claudio Sacerdoti... "Parallel" rewriting in a list of hypothesis and in... tree | commitdiff
2005-11-17 Claudio Sacerdoti... Major code semplification and improvement: tree | commitdiff
2005-11-17 Enrico Tassiaded a prototype of chtting aboit tacticals tree | commitdiff
2005-11-17 Stefano Zacchirolifilled disambiguation algorithm section tree | commitdiff
2005-11-17 Claudio Sacerdoti... First draft implementation of rewriting in an hypothesis. tree | commitdiff
2005-11-17 Claudio Sacerdoti... New tactic rename (for now for internal usage only). tree | commitdiff
2005-11-17 Enrico Tassimatita.tex tree | commitdiff
2005-11-17 Stefano Zacchirolifollowed kluwer guidelines tree | commitdiff
2005-11-17 Claudio Sacerdoti... Inizio stesura parte su "libreria tutta visibile". tree | commitdiff
2005-11-17 Stefano Zacchiroliported to kluwer style tree | commitdiff
2005-11-17 Enrico Tassifixed some stuff in the patterns section tree | commitdiff
2005-11-17 Enrico Tassifixed some stuff in pattern section tree | commitdiff
2005-11-17 Claudio Sacerdoti... tests and tests.opt targets greately simplified tree | commitdiff
2005-11-16 Enrico Tassiadded first draft for patterns tree | commitdiff
2005-11-16 Ferruccio Guidipredicative subsets started tree | commitdiff
2005-11-16 Stefano Zacchirolisnapshot tree | commitdiff
2005-11-16 Stefano Zacchiroli- begin{grafite} environment for script snippets tree | commitdiff
2005-11-16 Claudio Sacerdoti... dump_moo.opt tree | commitdiff
2005-11-16 Claudio Sacerdoti... do_test.sh no longer prints the compiler options (used... tree | commitdiff
2005-11-16 Claudio Sacerdoti... New framework for regression of bad tests. tree | commitdiff
2005-11-16 Ferruccio Guidiuniversal quantifier added tree | commitdiff
2005-11-16 Claudio Sacerdoti... The .depend must not be committed! Fixed. tree | commitdiff
2005-11-16 Stefano Zacchiroliignore bibtex litter tree | commitdiff
2005-11-15 Claudio Sacerdoti... 1. handling of tests and tests.opt targets improved tree | commitdiff
2005-11-15 Stefano Zacchiroliadded content level ref tree | commitdiff
2005-11-15 Stefano Zacchiroli- draft of the first part of disambiguation subsection tree | commitdiff
2005-11-15 Claudio Sacerdoti... New directory for bad tests with checks on the error... tree | commitdiff
2005-11-15 Claudio Sacerdoti... ... tree | commitdiff
2005-11-15 Claudio Sacerdoti... Debugging code commented out. tree | commitdiff
2005-11-15 Claudio Sacerdoti... Bug fixed: wrong exception was raised (instead of retur... tree | commitdiff
2005-11-15 Stefano Zacchirolicic concrete syntax (w/o notation) tree | commitdiff
2005-11-15 Stefano Zacchirolibetter output formatting tree | commitdiff
2005-11-15 Stefano Zacchiroliremoved grammar rule which used to enable things linke... tree | commitdiff
2005-11-15 Enrico Tassilist_uniq abstracted on equality tree | commitdiff
2005-11-15 Enrico Tassifixed self and removed more DUMMY... only one left tree | commitdiff
2005-11-15 Enrico Tassiadded print_grammar tree | commitdiff
2005-11-15 Enrico Tassiremoved duplicate entry tree | commitdiff
2005-11-15 Stefano Zacchirolitex macros, checked in disambiguation section from... tree | commitdiff
2005-11-14 Enrico Tassidded missing catch for coercions tree | commitdiff
2005-11-14 Ferruccio Guidicontribs/PREDICATIVE-TOPOLOGY added as test directory tree | commitdiff
2005-11-14 Stefano Zacchirolibugfix, use database name tree | commitdiff
2005-11-14 Andrea AspertiIntroduction, again.: tree | commitdiff
2005-11-14 Stefano Zacchirolifirst draft of db filling script tree | commitdiff
2005-11-14 Andrea AspertiIntroduction (partial). tree | commitdiff
2005-11-14 Andrea AspertiIntroduction. tree | commitdiff
2005-11-11 Enrico Tassiadded an example of reduction of R' and some comments... tree | commitdiff
2005-11-11 Andrea AspertiDefinition of system T. tree | commitdiff
2005-11-10 Stefano Zacchirolipaper skeleton tree | commitdiff
2005-11-10 Andrea AspertiSeveral changes. tree | commitdiff
2005-11-10 Andrea AspertiA couple more of references. tree | commitdiff
2005-11-10 Andrea Aspertitypos tree | commitdiff
2005-11-10 Stefano Zacchiroliadded Makefile, llncs style, cvsignore tree | commitdiff
2005-11-10 Andrea AspertiHeadings of the matita paper. tree | commitdiff
2005-11-10 Andrea AspertiExtended bibliography. tree | commitdiff
2005-11-09 Andrea AspertiAdded an example (well founded recursion). tree | commitdiff
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. tree | commitdiff
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. tree | commitdiff
2005-11-08 Enrico Tassifix tree | commitdiff
2005-11-08 Enrico Tassifixed inductive types demonstrations tree | commitdiff
2005-11-08 Andrea AspertiTypos. tree | commitdiff
2005-11-08 Claudio Sacerdoti... CicTypeChecker.AssertFailure now printed. tree | commitdiff
2005-11-08 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2005-11-08 Claudio Sacerdoti... New syntax for the outtype of a match. tree | commitdiff
2005-11-08 Enrico Tassiadded some stuff on inductive types tree | commitdiff
2005-11-07 Claudio Sacerdoti... Refinement of a Cast was bugged. tree | commitdiff
2005-11-07 Claudio Sacerdoti... AssertFailure from the type-checker now becomes an... tree | commitdiff
2005-11-07 Claudio Sacerdoti... Let-ins with types can now be produced. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Avoid generation of let x = let rec x = ... in x in... tree | commitdiff
2005-11-07 Claudio Sacerdoti... Let-ins with types can be produced. tree | commitdiff
2005-11-07 Claudio Sacerdoti... Syntactic change: tree | commitdiff
2005-11-07 Claudio Sacerdoti... Syntactic change: tree | commitdiff
2005-11-07 Claudio Sacerdoti... Duplicated exception definition removed (used to give... tree | commitdiff
2005-11-07 Andrea AspertiFirst draft of the introduction. tree | commitdiff
2005-11-07 Stefano Zacchirolichanged script actions keybindings: s/CTRL-XXX/CTRL... tree | commitdiff
2005-11-07 Stefano Zacchirolibugfix: no longer raise End_of_file for scripts ending... tree | commitdiff
2005-11-07 Stefano Zacchirolilist sorting (to be completed ...) tree | commitdiff
2005-11-07 Stefano Zacchiroliadded tail function tree | commitdiff
2005-11-07 Stefano Zacchiroliadded bool_elim (elimination which preserves infos... tree | commitdiff
2005-11-04 Enrico Tassisince the outtype is now refined correclty some types... tree | commitdiff
2005-11-04 Enrico Tassirefined outtype used to be discharged tree | commitdiff
2005-11-04 Claudio Sacerdoti... matita*.opt are now considered as if they were matita* tree | commitdiff
2005-11-04 Enrico Tassimake profiler silent tree | commitdiff
2005-11-04 Enrico Tassiadded calbback to make the profiler silent tree | commitdiff
2005-11-04 Stefano Zacchiroliadded support for ALT-L expansion of tex macros tree | commitdiff
2005-11-04 Stefano Zacchiroliligature expansion now considers also tex macros tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.