]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73052ec) | patch
- improved lfpr_lfpr
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jan 2017 16:50:09 +0000 (16:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Jan 2017 16:50:09 +0000 (16:50 +0000)
commit8509994e58db23307b45081491d35d5f7ff6ea6f
treed53f8882dc8e4efecf5f705c8325d85db2eeeb39tree | snapshot
parent73052ec76ff5492989f9cbae2ebe0b770fcb985fcommit | diff
- improved lfpr_lfpr
- improved make stats (it was still invoking mac)
- hls.ml to list .ma files highligting the ones updated to basic_2A2
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_frees.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.