]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70e25b4) | patch
wip ....
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 22 Jan 2023 00:05:23 +0000 (01:05 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 22 Jan 2023 00:05:23 +0000 (01:05 +0100)
commit6d488646716724d292e0a82e560a59691c829d1e
tree235a9e7e097036e4ca17bb0cc20b6a6e04ef0dd0tree | snapshot
parent70e25b49cc5bc42e7eac421d0c74b00e4fb09b74commit | 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.