]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 7 Mar 2006 21:13:19 +0000 (21:13 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 7 Mar 2006 21:13:19 +0000 (21:13 +0000) | ||
commit | c9ec21a836caca04ca23da5489598d5fca6d6b96 | |
tree | 0c2abc236152fc559300d905987f8995f5413d10 | tree | snapshot |
parent | 48b1c073868dcddf01140775cb0e5ac524fdbf14 | commit | diff |
helm/software/matita/matitaMathView.ml | diff | blob | history |