]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a5e781) | patch
- partial commit (static component only)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 20:45:20 +0000 (20:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 28 Sep 2012 20:45:20 +0000 (20:45 +0000)
commit8b1bc0a74dbc6c5854cbce31240ae829dfe7e8bf
treef34db2cbec6c7e336bbaf43253f571dd80783246tree | snapshot
parent2a5e781138f03034104184a40889c33515ac9778commit | diff
- partial commit (static component only)
- results on the transitive closure of ltpss
matita/matita/contribs/lambda_delta/basic_2/etc/ltpsss/aaa_ltpsss.etc [deleted file] blob | history
matita/matita/contribs/lambda_delta/basic_2/grammar/lenv_px.ma diff | blob | history
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpss.ma [deleted file] blob | history
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpss_dx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/basic_2/static/aaa_ltpss_sn.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss.ma [deleted file] blob | history
matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss_dx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/basic_2/static/ssta_ltpss_sn.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.