]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5768f5) | patch
Added some controls to handle the case in which the user type an unexpected '{'
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 6 Feb 2003 11:53:48 +0000 (11:53 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 6 Feb 2003 11:53:48 +0000 (11:53 +0000)
commit2f7288d494e3053b02d589ffcd3d54b7c595d2cc
treea00a47be7b0894cf9d4d9a1f8b96ecc6b38f8f40tree | snapshot
parentf5768f5c9e6eb668ea9503eb4c6c6ebe0c3515c6commit | diff
Added some controls to handle the case in which the user type an unexpected '{'
character. Now, the editor doesn't crash, but emit an error.
Removed some debug messages.
helm/DEVEL/mathml_editor/src/TPushParser.cc diff | blob | history
helm/DEVEL/mathml_editor/src/TPushParser.hh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.