projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 17 Jun 2011 11:32:30 +0000 (11:32 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 17 Jun 2011 11:32:30 +0000 (11:32 +0000) | ||
| commit | 3a3517f9a23d9344ff6461e76e1c6c429d44db57 | |
| tree | 35200eeaf9d7c9c623e7efc5da245214e5c5471d | tree | snapshot |
| parent | 0e81e658803822599b5e015aab67bc282afc9c4d | commit | diff |
| matita/components/ng_tactics/nTacStatus.ml | diff | blob | history |