more unicode tokens;
diff -r ProofGeneral-4.2/isar/isar-unicode-tokens.el ProofGeneral-4.2-1/isar/isar-unicode-tokens.el
356c356,359
< ("some" "ϵ"))
---
> ("some" "ϵ")
> ("open" "‹")
> ("close" "›")
> ("newline" "⏎"))
syntax: glob
*~
*.class
*.jar
*.orig
*.rej
*.pyc
.DS_Store
.swp
syntax: regexp
^contrib
^heaps/
^browser_info/
^doc/.*\.dvi
^doc/.*\.eps
^doc/.*\.pdf
^doc/.*\.ps
^src/Tools/jEdit/dist/