]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a54b76) | patch
print an error message if graphviz is not found
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 22 Nov 2008 16:53:58 +0000 (16:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 22 Nov 2008 16:53:58 +0000 (16:53 +0000)
commitd79c894cab905cd98487192b0e5f1049875b7caa
treeb33cc18c815ebf6aa9470e522b22158b9ae9b761tree | snapshot
parent0a54b76b4322ba0a490af843c4436271c0014a83commit | diff
print an error message if graphviz is not found
helm/software/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.