]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 301c308) | patch
added set_metasenv on proof_status
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 8 Sep 2005 10:40:16 +0000 (10:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 8 Sep 2005 10:40:16 +0000 (10:40 +0000)
commit0b082b38f60079c8d457790c3ee18c2a9ab415eb
treed5592cfb95f18c96fa6c19701e910f604f8632b3tree | snapshot
parent301c308c53e3d47d0c924731717c6d075273961ecommit | diff
added set_metasenv on proof_status
helm/matita/matitaTypes.ml diff | blob | history
helm/matita/matitaTypes.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.