]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bba18e2) | patch
Syntax highlighting for focus/unfocus
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 May 2006 12:38:42 +0000 (12:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 May 2006 12:38:42 +0000 (12:38 +0000)
commit13468d1961d94c0bf354a7255c9196f1d84c8548
treed6e4570739fd43cdf6fbee144bd28eb55554f084tree | snapshot
parentbba18e224460b5140bf50ef5750e3993e4a32a01commit | diff
Syntax highlighting for focus/unfocus
matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.