diff options
Diffstat (limited to 'src/kile/symbols/symbols.kilepr')
| -rw-r--r-- | src/kile/symbols/symbols.kilepr | 124 |
1 files changed, 124 insertions, 0 deletions
diff --git a/src/kile/symbols/symbols.kilepr b/src/kile/symbols/symbols.kilepr new file mode 100644 index 0000000..15f66d6 --- /dev/null +++ b/src/kile/symbols/symbols.kilepr @@ -0,0 +1,124 @@ +[General] +img_extIsRegExp=false +img_extensions=.eps .jpg .jpeg .png .pdf .ps .fig .gif .dvi +kileprversion=2 +kileversion=2.0 +lastDocument=relation.tex +masterDocument= +name=symbols +pkg_extIsRegExp=false +pkg_extensions=.cls .sty +src_extIsRegExp=false +src_extensions=.tex .ltx .latex .dtx .ins .bib .mp + +[Tools] +MakeIndex= +QuickBuild= + +[item:arrows.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=10 +open=true +order=0 + +[item:cyrillic.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=0 +open=false +order=0 + +[item:definitions.tex] +archive=true +column=13 +encoding=UTF-8 +highlight=LaTeX +line=10 +open=true +order=1 + +[item:delimiters.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=0 +open=false +order=4 + +[item:greek.tex] +archive=true +column=37 +encoding=ISO 8859-15 +highlight=LaTeX +line=0 +open=false +order=-1 + +[item:misc-math.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=73 +open=true +order=3 + +[item:misc-text.tex] +archive=true +column=0 +encoding=ISO 8859-15 +highlight=LaTeX +line=0 +open=false +order=0 + +[item:operators.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=152 +open=true +order=4 + +[item:relation.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=0 +open=true +order=2 + +[item:special.tex] +archive=true +column=9 +encoding=UTF-8 +highlight=LaTeX +line=13 +open=false +order=1 + +[item:symbols.kilepr] +archive=true +column=0 +encoding=ISO 8859-15 +highlight=None +line=0 +open=false +order=-1 + +[item:testfile.tex] +archive=true +column=0 +encoding=UTF-8 +highlight=LaTeX +line=45 +open=true +order=5 |