]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82f5b3f) | patch
ignore boolean returned by saveDocument
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:52:35 +0000 (12:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:52:35 +0000 (12:52 +0000)
commit548d5244b8893cb51851383c30523271b7bd88a3
tree31ae45dab13173ad9d895316f62aaba03e5dcdabtree | snapshot
parent82f5b3f4124fe5fb3b1e578fe1912c1aeb1d8a86commit | diff
ignore boolean returned by saveDocument
helm/gTopLevel/termViewer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.