]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5894bf1) | patch
freeze() & thaw() method put around "freeze() ; push('$')" to avoid
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:32:54 +0000 (17:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Apr 2003 17:32:54 +0000 (17:32 +0000)
commit28f262128cd08dfaad435f73d3f4eee5976993d6
tree410d74afdfe0b018475fb9a1415a3ab274eb2294tree | snapshot
parent5894bf1c1e2ce596282fddd89e3983c9a87223e7commit | diff
freeze() & thaw() method put around "freeze() ; push('$')" to avoid
rendering of a TML document which is not in math mode.
helm/gTopLevel/texTermEditor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.