]>
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 11 Jan 2011 21:49:52 +0000 (21:49 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 11 Jan 2011 21:49:52 +0000 (21:49 +0000) | ||
| commit | 57f19e78a66217588b6f097f378211b7c2890857 | |
| tree | 4250fad79f547c5963a0161f03dc51961fd724e7 | tree | snapshot |
| parent | 2ee9fec48a170371c20fd15fc560d15814e290fe | commit | diff |
| matita/matita/matita.glade | diff | blob | history |