]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2006-07-13 Stefano Zacchiroliuse the graphviz pretty printer to generate graphviz... commit | commitdiff | tree | snapshot
2006-07-13 Stefano Zacchirolimoved graphviz pretty printer outside matita, so that... commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchiroliuse lablGraphviz to render the coercion graph and added... commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchiroligenerate dot files with attributes on nodes (instead... commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchiroliadded uri_of_carr commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchiroliadded pretty printer for dot files (it may need to... commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchirolifixed the number of columns in the clusters table commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... Documentation date changed. commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... More commands documented. commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchirolibugfix: remove all generated temp files commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchiroliadded widget for rendering and interacting with graphs... commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... More commands documented. commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... More commands documented. commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... First skeleton of documentation for "other commands". commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... Missing copyright added to tactics/declarative.ml* commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... GrafiteAst.Quit (unused) removed. commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... GrafiteAst.Print (unused) removed. commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... GrafiteAst.Search_pat and GrafiteAst.Search_term (both... commit | commitdiff | tree | snapshot
2006-07-12 Stefano Zacchirolirestored the 2 ways of pasting: both "as term" and... commit | commitdiff | tree | snapshot
2006-07-12 Claudio Sacerdoti... paramodulation is not a stand alone tactic: doc fixed. commit | commitdiff | tree | snapshot
2006-07-11 Claudio Sacerdoti... More documentation. commit | commitdiff | tree | snapshot
2006-07-11 Ferruccio Guididependences updated again :) commit | commitdiff | tree | snapshot
2006-07-11 Ferruccio Guidiupdated dependences commit | commitdiff | tree | snapshot
2006-07-11 maiorinoFirst experimental version of the declarative proof... commit | commitdiff | tree | snapshot
2006-07-11 Claudio Sacerdoti... More TODO items in the documentation. commit | commitdiff | tree | snapshot
2006-07-11 Enrico Tassi- removed Positive and Negative (all is positive) commit | commitdiff | tree | snapshot
2006-07-11 Enrico Tassifixed commit | commitdiff | tree | snapshot
2006-07-10 Enrico Tassi... commit | commitdiff | tree | snapshot
2006-07-10 Enrico Tassi- cheanges for the new coercion stuff (including the... commit | commitdiff | tree | snapshot
2006-07-10 Enrico Tassirenamed the coercion commit | commitdiff | tree | snapshot
2006-07-10 Enrico Tassiimproved coercions support: commit | commitdiff | tree | snapshot
2006-07-10 Enrico Tassifixed 1,2: and *: according to the camera ready semantics commit | commitdiff | tree | snapshot
2006-07-10 Enrico Tassiadded flatten_map commit | commitdiff | tree | snapshot
2006-07-06 Enrico Tassieq_f1 commit | commitdiff | tree | snapshot
2006-07-06 Enrico Tassimegatheorem (even if unused) commit | commitdiff | tree | snapshot
2006-07-06 Enrico Tassifixed *: and n,m: commit | commitdiff | tree | snapshot
2006-07-06 Enrico Tassi... commit | commitdiff | tree | snapshot
2006-07-05 Enrico Tassibugfix to developments: commit | commitdiff | tree | snapshot
2006-07-03 Claudio Sacerdoti... Instead of closing the socket to avoid persistent conne... commit | commitdiff | tree | snapshot
2006-07-03 Stefano Zacchiroliwhen auto_close is set, use flush + shutdown instead... commit | commitdiff | tree | snapshot
2006-07-03 Enrico Tassi/.... commit | commitdiff | tree | snapshot
2006-07-03 Enrico Tassi... commit | commitdiff | tree | snapshot
2006-07-03 Enrico Tassi- patch to consider the symbols of the goal when comput... commit | commitdiff | tree | snapshot
2006-06-30 Claudio Sacerdoti... Documentation of tinycals started. commit | commitdiff | tree | snapshot
2006-06-30 Enrico Tassipretty proofs are back commit | commitdiff | tree | snapshot
2006-06-30 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-29 Ferruccio Guidi"linear" keyword inserted (used by lapply) commit | commitdiff | tree | snapshot
2006-06-29 Andrea AspertiCleaning up; removed a couple of "open". commit | commitdiff | tree | snapshot
2006-06-29 Enrico Tassi... commit | commitdiff | tree | snapshot
2006-06-29 Claudio Sacerdoti... Demodulate used to be a reduction_kind and it used... commit | commitdiff | tree | snapshot
2006-06-29 Claudio Sacerdoti... WORK IN PROGRESS: commit | commitdiff | tree | snapshot
2006-06-29 Enrico Tassibefore goals are inferred with current, commit | commitdiff | tree | snapshot
2006-06-29 Claudio Sacerdoti... Documentation for variant fixed (the type and body... commit | commitdiff | tree | snapshot
2006-06-29 Enrico Tassigoals after a superposition step are relocated commit | commitdiff | tree | snapshot
2006-06-28 Ferruccio Guidi- "linear" flag added to lapply (automatic clearing) commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassikarma: every term the rewrite acts on must be substututed commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassifixed gzip usage commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassisuperposition_left not performed if the input goal... commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassicsc trick on steroids commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassinew mega spreadsheet available commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-28 Enrico Tassiadded gzip to log files commit | commitdiff | tree | snapshot
2006-06-27 Ferruccio Guidi- decompose now runs with no arguments (operates on... commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassifixed infer_goal, added simplification before inferring... commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassiusing the new metadataConstraint function commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassiused the new metadataConstraint function to retrieve... commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassifixed equalities_for_goal commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassithe old compute_eq_weight is back (no more max) commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassifixed generation of letins commit | commitdiff | tree | snapshot
2006-06-27 Enrico Tassiadded a metas_of_term implemented using sets instead... commit | commitdiff | tree | snapshot
2006-06-27 Ferruccio Guidifile names patched commit | commitdiff | tree | snapshot
2006-06-27 Ferruccio Guidipatched commit | commitdiff | tree | snapshot
2006-06-26 Enrico Tassimore work for the generic auto parameters commit | commitdiff | tree | snapshot
2006-06-21 Enrico Tassiadded the geniric commit | commitdiff | tree | snapshot
2006-06-21 Ferruccio Guidiforgotten commit commit | commitdiff | tree | snapshot
2006-06-21 Ferruccio GuidiRELATIONAL-ARITHMETICS updated commit | commitdiff | tree | snapshot
2006-06-20 Ferruccio Guidi- fwd concrete syntax fixed commit | commitdiff | tree | snapshot
2006-06-20 Enrico Tassigarbage collection of dead equalities implemented commit | commitdiff | tree | snapshot
2006-06-20 Ferruccio Guidi- added some documentation on the fwd tatcic commit | commitdiff | tree | snapshot
2006-06-19 Claudio Sacerdoti... Patterns are now documented. commit | commitdiff | tree | snapshot
2006-06-19 Ferruccio Guidiaxioms removed commit | commitdiff | tree | snapshot
2006-06-19 Ferruccio Guidihack to allow (**) commit | commitdiff | tree | snapshot
2006-06-19 Enrico Tassitypo cpying the formal semantic commit | commitdiff | tree | snapshot
2006-06-19 Enrico Tassireorganized guiven_clause to work with the on_the_fly... commit | commitdiff | tree | snapshot
2006-06-19 Enrico Tassidemodulation of goal activated again. commit | commitdiff | tree | snapshot
2006-06-19 Andrea Aspertisome experiments commit | commitdiff | tree | snapshot
2006-06-19 Andrea Aspertiadded (but still unused) remove_local_context commit | commitdiff | tree | snapshot
2006-06-19 Andrea Aspertiadded (but not yet used) remove_local_context commit | commitdiff | tree | snapshot
2006-06-19 Andrea AspertiUtils.compare_terms instead of compare_weights commit | commitdiff | tree | snapshot
2006-06-19 Andrea Aspertioccur_check and unification fixed. now Meta(i,[]) and... commit | commitdiff | tree | snapshot
2006-06-19 Enrico Tassi... commit | commitdiff | tree | snapshot
2006-06-18 Enrico Tassi- some fixes regarding URIs of equality that now should... commit | commitdiff | tree | snapshot
2006-06-18 Enrico Tassiinstead of including library_notation we include logic... commit | commitdiff | tree | snapshot
2006-06-18 Enrico Tassifix commit | commitdiff | tree | snapshot
2006-06-16 Ferruccio Guidicontribution on relational arithmetics started commit | commitdiff | tree | snapshot
2006-06-16 Enrico Tassifixed commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.