]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3d5f73) | patch
wip ....
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 22 Jan 2023 00:05:23 +0000 (01:05 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100)
commit7c9d99dfb049d726491b71f07ba6a9b088b30166
tree235a9e7e097036e4ca17bb0cc20b6a6e04ef0dd0tree | snapshot
parentd3d5f731e9c130f5363e6c9bfadbc73315c07612commit | diff
wip ....

+ a situation in which matita falls asleep was detected
matita/matita/contribs/lambdadelta/delayed_updating/relocation/tr_minus_pap.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_minus_pminus.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.