]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
notation ++
[helm.git] / helm /
2009-03-10 Enrico Tassinotation ++ tree | commitdiff
2009-03-10 Andrea AspertiA version of applyS with bounded iterations of given_cl... tree | commitdiff
2009-03-10 Andrea AspertiRemoved the context from the metasenv to avoid trivial... tree | commitdiff
2009-03-09 Enrico Tassi... tree | commitdiff
2009-03-06 Claudio Sacerdoti... Minor improvements in pretty-printing. tree | commitdiff
2009-03-05 Claudio Sacerdoti... New version: only new nodes are normalized; moreover... tree | commitdiff
2009-03-03 Enrico Tassi- fixed hint generation, more hints are generated tree | commitdiff
2009-03-02 Claudio Sacerdoti... ... tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... First version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... Old algorithm moved to old to leave place to the new... tree | commitdiff
2009-03-02 Ferruccio GuidicicInspect: node count fixed tree | commitdiff
2009-03-02 Ferruccio Guidiuri renaming and new nodes count tree | commitdiff
2009-03-02 Ferruccio Guidisome renaming to comply with new naming policy ... tree | commitdiff
2009-02-26 Ferruccio GuidicicInspect: now we can choose not to count the Cic... tree | commitdiff
2009-02-25 Ferruccio GuidiProceduralTeX completed and tested on the terms given... tree | commitdiff
2009-02-25 Enrico Tassi... tree | commitdiff
2009-02-24 Enrico Tassi... tree | commitdiff
2009-02-24 Enrico Tassi... tree | commitdiff
2009-02-21 Ferruccio GuidiNew module for TeX rendering of procedural input/output tree | commitdiff
2009-02-20 Enrico Tassi... tree | commitdiff
2009-02-20 Enrico Tassi... tree | commitdiff
2009-02-17 Ferruccio Guidi- Coq/preamble: missing alias added tree | commitdiff
2009-02-16 Enrico Tassisome notational experiments tree | commitdiff
2009-02-15 Enrico Tassi... tree | commitdiff
2009-02-15 Enrico Tassi... tree | commitdiff
2009-02-15 Enrico Tassi... tree | commitdiff
2009-02-15 Enrico Tassicommented some printings tree | commitdiff
2009-02-15 Enrico Tassiminor changes to make the library compile after wilmers... tree | commitdiff
2009-02-13 Wilmer RicciottiAxiomatization of real numbers (work in progress) tree | commitdiff
2009-02-12 Andrea Aspertierrata corrige. tree | commitdiff
2009-02-12 Andrea AspertiFixed a problem of lifting. tree | commitdiff
2009-02-11 Enrico Tassisome work to refine objs tree | commitdiff
2009-02-11 Enrico Tassi... tree | commitdiff
2009-02-09 Enrico Tassib:action are now considered as m:maction and thus are... tree | commitdiff
2009-02-06 Enrico Tassi... tree | commitdiff
2009-02-05 Enrico Tassi... tree | commitdiff
2009-02-05 Enrico Tassia non necessary but morally required change. The matche... tree | commitdiff
2009-02-03 Enrico Tassisome work to speed up the system tree | commitdiff
2009-02-03 Enrico Tassicase tactic first tries with a simple outtype and then... tree | commitdiff
2009-02-02 Enrico Tassi... tree | commitdiff
2009-02-02 Enrico TassiCicTypeChecker.typecheck now takes an additional parameter: tree | commitdiff
2009-02-02 Claudio Sacerdoti... Hmmm, going too low. tree | commitdiff
2009-02-02 Claudio Sacerdoti... ... tree | commitdiff
2009-02-01 Claudio Sacerdoti... Towards fullness. tree | commitdiff
2009-02-01 Claudio Sacerdoti... Renaming. tree | commitdiff
2009-02-01 Claudio Sacerdoti... Renaming. tree | commitdiff
2009-01-30 Enrico Tassifix convertibility in case of application test_eq_only... tree | commitdiff
2009-01-29 Enrico Tassimore polishing tree | commitdiff
2009-01-29 Enrico Tassi... tree | commitdiff
2009-01-29 Enrico Tassiapplication arguments are compared with test_eq_only... tree | commitdiff
2009-01-28 Enrico Tassisome work tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-27 Enrico Tassimaction, mpadded and mstyle added to documentation tree | commitdiff
2009-01-26 Enrico Tassiminor fixes tree | commitdiff
2009-01-26 Enrico Tassimaction support added to notation, adopted for = AKA... tree | commitdiff
2009-01-26 Enrico Tassimaction layout added to notation tree | commitdiff
2009-01-26 Enrico Tassiwe were generating a name for the main fix twice tree | commitdiff
2009-01-26 Enrico Tassiadded a number to identical error messages to ease... tree | commitdiff
2009-01-23 Ferruccio GuidiOEIS sequence identifier found for P(n) tree | commitdiff
2009-01-22 Claudio Sacerdoti... TODO tree | commitdiff
2009-01-21 Enrico Tassisome minor fixes tree | commitdiff
2009-01-21 Enrico Tassia bit of work done while travelling to padova tree | commitdiff
2009-01-19 Enrico Tassi- new notation.ma file with local and common notation tree | commitdiff
2009-01-19 Claudio Sacerdoti... ... tree | commitdiff
2009-01-19 Claudio Sacerdoti... ... tree | commitdiff
2009-01-19 Enrico Tassiall pullbacks are attempted in sequence, removed many... tree | commitdiff
2009-01-18 Claudio Sacerdoti... universe inconsistency fixed tree | commitdiff
2009-01-18 Claudio Sacerdoti... SUBSETS_full up to universe inconsistency tree | commitdiff
2009-01-17 Claudio Sacerdoti... faithful tree | commitdiff
2009-01-17 Claudio Sacerdoti... CAT2 tree | commitdiff
2009-01-16 Enrico Tassiceommented out metasenv tree | commitdiff
2009-01-16 Enrico Tassi... tree | commitdiff
2009-01-16 Claudio Sacerdoti... Sambin's result holds trivially since most of the field... tree | commitdiff
2009-01-16 Claudio Sacerdoti... basic topologies are trivially o-basic topologies tree | commitdiff
2009-01-16 Claudio Sacerdoti... 1. new coercion(s) from CPropi to CProp tree | commitdiff
2009-01-15 Enrico Tassithe new coercion behaviour (variants + composition... tree | commitdiff
2009-01-15 Enrico Tassiadded notation for 'Vdash tree | commitdiff
2009-01-15 Enrico Tassiif the user attempts to insert a duplicate coercions... tree | commitdiff
2009-01-15 Enrico Tassiunvariant also for coercions to funclass tree | commitdiff
2009-01-15 Enrico Tassi- name mangling changed, added __ to separate additiona... tree | commitdiff
2009-01-15 Enrico Tassino more universe inconsistency printed to stderr tree | commitdiff
2009-01-15 Enrico Tassicoercions that are marked as variant are unfolded when... tree | commitdiff
2009-01-15 Enrico TassiCoercions graph is printed between real types and not... tree | commitdiff
2009-01-14 Claudio Sacerdoti... o_continous_relations are really o_relation_pair..... tree | commitdiff
2009-01-14 Claudio Sacerdoti... o-basic_pairs are indeed examples of o-basic_topologies! tree | commitdiff
2009-01-13 Enrico Tassimany changes regarding coercions: tree | commitdiff
2009-01-13 Claudio Sacerdoti... - Added new output in standard C. tree | commitdiff
2009-01-12 Claudio Sacerdoti... Some work on o-algebras towards the proof that a and... tree | commitdiff
2009-01-08 Claudio Sacerdoti... The new coercion from SET to Type0 with higher priority... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.