index
:
isabelle-utils
master
attempts at improving isabelle tooling outside jedit
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
isabelle-dump
/
src
/
calc.l
blob: 2bf98dca37ecca49b7c23c33bea830070f87f613 (
plain
)
1
2
3
4
5
%% \\ "AOPEN" < "LT" <[^\\<>]+> "NAME" [^<\\][^\\]* "TEXT"
