]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acf77bb) | patch
Removed ghost copy of a MatitaScriptLexer (moved from
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2011 12:24:51 +0000 (12:24 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2011 12:24:51 +0000 (12:24 +0000)
commit0eb55693fa50c695866cf5205b04cdf9bf5e8e9d
tree306a3cbe32adf4a9bb636cc4ba0a2b87daac9b11tree | snapshot
parentacf77bb24694158a57444c7f32da46ceac8b30c4commit | diff
Removed ghost copy of a MatitaScriptLexer (moved from
components/content_pres/ to matita/)
matitaB/components/content_pres/matitaScriptLexer.ml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.