]> matita.cs.unibo.it Git - helm.git/history - helm/software/helena
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- we add the missing layer constraint on applicability condition
[helm.git] / helm / software / helena /
2014-12-16 Ferruccio Guidi- we add the missing layer constraint on applicability... tree | commitdiff
2014-12-15 Ferruccio Guidinow type inclusion is correctly managed in the RTM tree | commitdiff
2014-12-14 Ferruccio Guidi- we are moving from old (patched) management of sort... tree | commitdiff
2014-12-14 Ferruccio Guidi- we removed a flag from the kernel status tree | commitdiff
2014-12-06 Ferruccio Guidi- helena: the improved attribute system allows to expor... tree | commitdiff
2014-11-30 Ferruccio Guidilevel disambiguation cmpleted! the Grafite file is... tree | commitdiff
2014-11-28 Ferruccio Guidi- bug fix in the static disambiguation of unified binders tree | commitdiff
2014-11-28 Ferruccio Guidi- the disambiguation of unified binders continues tree | commitdiff
2014-11-24 Ferruccio Guidi- static disambiguation of Automath unified binders tree | commitdiff
2014-11-23 Ferruccio Guidi- new attributes system tree | commitdiff
2014-11-20 Ferruccio Guidinew intermediate language complete_rg, tree | commitdiff
2014-11-12 Ferruccio Guidinew message reporting system improves performance signi... tree | commitdiff
2014-11-11 Ferruccio Guidi- commit completed :) tree | commitdiff
2014-11-10 Ferruccio Guidithe commit contnues by updating the RTM and modifying... tree | commitdiff
2014-11-10 Ferruccio Guidithe commit continues tree | commitdiff
2014-11-10 Ferruccio Guidithe commit continues with some refactoring ... tree | commitdiff
2014-11-10 Ferruccio Guidithe commit continues with the support for validation... tree | commitdiff
2014-11-10 Ferruccio Guidithe partial commit continues tree | commitdiff
2014-11-10 Ferruccio Guidiwe begin the commit of the validation procedure tree | commitdiff
2014-06-25 Ferruccio Guidipathologic @-typing removed by adding imp-introduction tree | commitdiff
2014-03-04 Ferruccio Guidia suggestion was added to avoid 1 pseudo reduction... tree | commitdiff
2012-12-02 Ferruccio Guidibugfix in uri's: missing "/" added to baseuri's where... tree | commitdiff
2012-12-02 Ferruccio Guidi- dehypenation involves helena as well tree | commitdiff
2011-09-12 Ferruccio Guidirefactoring completed! tree | commitdiff
2011-09-11 Ferruccio Guidithe refactoring continues ... tree | commitdiff
2011-09-11 Ferruccio Guidirefactoring ... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.