]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16a95f5) | patch
Small improvement: check now takes the context of the first focused
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 22 Nov 2010 12:54:57 +0000 (12:54 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 22 Nov 2010 12:54:57 +0000 (12:54 +0000)
commit9295d7fe073343ef195bcff5453b1cffd30552be
treef93dda24e827fe0d9ed2a32ed34ded4acd0b1272tree | snapshot
parent16a95f57b09ae92ea24ab2addd02c1d0be80f109commit | diff
Small improvement: check now takes the context of the first focused
goal, if any.
matita/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.