projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-11-14 Enrico Tassidded missing catch for coercions commit | commitdiff | tree | snapshot
2005-11-14 Ferruccio Guidicontribs/PREDICATIVE-TOPOLOGY added as test directory commit | commitdiff | tree | snapshot
2005-11-14 Stefano Zacchirolibugfix, use database name commit | commitdiff | tree | snapshot
2005-11-14 Andrea AspertiIntroduction, again.: commit | commitdiff | tree | snapshot
2005-11-14 Stefano Zacchirolifirst draft of db filling script commit | commitdiff | tree | snapshot
2005-11-14 Andrea AspertiIntroduction (partial). commit | commitdiff | tree | snapshot
2005-11-14 Andrea AspertiIntroduction. commit | commitdiff | tree | snapshot
2005-11-11 Enrico Tassiadded an example of reduction of R' and some comments... commit | commitdiff | tree | snapshot
2005-11-11 Andrea AspertiDefinition of system T. commit | commitdiff | tree | snapshot
2005-11-10 Stefano Zacchirolipaper skeleton commit | commitdiff | tree | snapshot
2005-11-10 Andrea AspertiSeveral changes. commit | commitdiff | tree | snapshot
2005-11-10 Andrea AspertiA couple more of references. commit | commitdiff | tree | snapshot
2005-11-10 Andrea Aspertitypos commit | commitdiff | tree | snapshot
2005-11-10 Stefano Zacchiroliadded Makefile, llncs style, cvsignore commit | commitdiff | tree | snapshot
2005-11-10 Andrea AspertiHeadings of the matita paper. commit | commitdiff | tree | snapshot
2005-11-10 Andrea AspertiExtended bibliography. commit | commitdiff | tree | snapshot
2005-11-09 Andrea AspertiAdded an example (well founded recursion). commit | commitdiff | tree | snapshot
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. commit | commitdiff | tree | snapshot
2005-11-08 Claudio Sacerdoti... Yet another semantics for simplify. commit | commitdiff | tree | snapshot
2005-11-08 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-11-08 Enrico Tassifixed inductive types demonstrations commit | commitdiff | tree | snapshot
2005-11-08 Andrea AspertiTypos. commit | commitdiff | tree | snapshot
2005-11-08 Claudio Sacerdoti... CicTypeChecker.AssertFailure now printed. commit | commitdiff | tree | snapshot
2005-11-08 Claudio Sacerdoti... Debugging code removed. commit | commitdiff | tree | snapshot
2005-11-08 Claudio Sacerdoti... New syntax for the outtype of a match. commit | commitdiff | tree | snapshot
2005-11-08 Enrico Tassiadded some stuff on inductive types commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Refinement of a Cast was bugged. commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... AssertFailure from the type-checker now becomes an... commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Let-ins with types can now be produced. commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Avoid generation of let x = let rec x = ... in x in... commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Let-ins with types can be produced. commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Syntactic change: commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Syntactic change: commit | commitdiff | tree | snapshot
2005-11-07 Claudio Sacerdoti... Duplicated exception definition removed (used to give... commit | commitdiff | tree | snapshot
2005-11-07 Andrea AspertiFirst draft of the introduction. commit | commitdiff | tree | snapshot
2005-11-07 Stefano Zacchirolichanged script actions keybindings: s/CTRL-XXX/CTRL... commit | commitdiff | tree | snapshot
2005-11-07 Stefano Zacchirolibugfix: no longer raise End_of_file for scripts ending... commit | commitdiff | tree | snapshot
2005-11-07 Stefano Zacchirolilist sorting (to be completed ...) commit | commitdiff | tree | snapshot
2005-11-07 Stefano Zacchiroliadded tail function commit | commitdiff | tree | snapshot
2005-11-07 Stefano Zacchiroliadded bool_elim (elimination which preserves infos... commit | commitdiff | tree | snapshot
2005-11-04 Enrico Tassisince the outtype is now refined correclty some types... commit | commitdiff | tree | snapshot
2005-11-04 Enrico Tassirefined outtype used to be discharged commit | commitdiff | tree | snapshot
2005-11-04 Claudio Sacerdoti... matita*.opt are now considered as if they were matita* commit | commitdiff | tree | snapshot
2005-11-04 Enrico Tassimake profiler silent commit | commitdiff | tree | snapshot
2005-11-04 Enrico Tassiadded calbback to make the profiler silent commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliadded support for ALT-L expansion of tex macros commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliligature expansion now considers also tex macros commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliexported is_blank commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliadded ligatures expansion support functions commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliadded support for expansion of ligatures ALT-L will... commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchirolibetter distinction of (* *) and (** *) comments commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliavoid losing work on CTRL-N commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliremoved no longer needed dependency on pxp commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchirolifixed typo commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchirolimore structured makefile commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroli"towards a distribution of matita" changes: commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliadded tilde_expansion of directory settings commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchiroliadded char functions: commit | commitdiff | tree | snapshot
2005-11-04 Stefano Zacchirolichanged stack entry representation commit | commitdiff | tree | snapshot
2005-11-03 Stefano ZacchiroliBug fix: index.theory dereferentiation works also for... commit | commitdiff | tree | snapshot
2005-11-03 Claudio Sacerdoti... Semantic change: I always consider a type with no const... commit | commitdiff | tree | snapshot
2005-11-03 Claudio Sacerdoti... Semantic change: elimination of a term whose type is... commit | commitdiff | tree | snapshot
2005-11-03 Stefano Zacchirolimissing mlis commit | commitdiff | tree | snapshot
2005-11-03 Stefano Zacchirolibetter dependencies among modules and symlinking of... commit | commitdiff | tree | snapshot
2005-11-03 Enrico Tassiadded documentation on allowed eliminations commit | commitdiff | tree | snapshot
2005-11-03 Claudio Sacerdoti... 1. a simplified version of check_allowed_sort_eliminati... commit | commitdiff | tree | snapshot
2005-11-03 Andrea AspertiEuler totient function is multiplicative! commit | commitdiff | tree | snapshot
2005-11-03 Claudio Sacerdoti... More exceptions pretty printed. commit | commitdiff | tree | snapshot
2005-11-03 Claudio Sacerdoti... Major code semplification in check_allowed_sort_elimina... commit | commitdiff | tree | snapshot
2005-11-02 Claudio Sacerdoti... Unfinished proof commented out. commit | commitdiff | tree | snapshot
2005-11-02 Claudio Sacerdoti... Proof of unicity of proofs for: commit | commitdiff | tree | snapshot
2005-11-02 Stefano Zacchirolienable static linking of executables (try "make static") commit | commitdiff | tree | snapshot
2005-11-02 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2005-11-02 Stefano Zacchiroliadded gcc lib dir for enable static linking of libstdc++ commit | commitdiff | tree | snapshot
2005-11-02 Claudio Sacerdoti... Maybe this time we will be lucky. commit | commitdiff | tree | snapshot
2005-11-02 Enrico Tassi() around tactic terms commit | commitdiff | tree | snapshot
2005-11-02 Andrea AspertiTotient function and related files. commit | commitdiff | tree | snapshot
2005-11-02 Stefano Zacchirolimatita distribution stuff commit | commitdiff | tree | snapshot
2005-11-02 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-10-31 Claudio Sacerdoti... Bugs fixed. commit | commitdiff | tree | snapshot
2005-10-29 Ferruccio GuidiAczel categories finished commit | commitdiff | tree | snapshot
2005-10-29 Claudio Sacerdoti... Bug fixed: the wrong mark was chosen for yesterday. commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... Ported to multiple marks in the same day: today newest... commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... New "global performances" bench (for native code). commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... 1. syntax error fixed commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... sql query fixed commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... Better detection of spurious status lines. commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... Mark fixed. commit | commitdiff | tree | snapshot
2005-10-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-10-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-10-28 Claudio Sacerdoti... New format for benches (with much more precision). commit | commitdiff | tree | snapshot
2005-10-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-10-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-10-27 Claudio Sacerdoti... 1. Parameter enable (default true) added to HExtlib... commit | commitdiff | tree | snapshot
2005-10-27 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-10-27 Stefano Zacchirolityping errors commit | commitdiff | tree | snapshot
2005-10-26 Stefano Zacchiroliadded constraing on non-empty context for tactic applic... commit | commitdiff | tree | snapshot
2005-10-26 Stefano Zacchiroliimproved Makefile commit | commitdiff | tree | snapshot
2005-10-26 Claudio Sacerdoti... Dead code removed. commit | commitdiff | tree | snapshot
2005-10-25 Claudio Sacerdoti... Parentheses must now be put in patterns like in tactic... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.