diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr b/cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr new file mode 100644 index 000000000..92617e203 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr @@ -0,0 +1,53 @@ +[General] +def_graphic_ext= +img_extIsRegExp=false +img_extensions=.eps .jpg .jpeg .png .pdf .ps .fig .gif .dvi +kileprversion=2 +kileversion=2.1.0 +lastDocument=cmsv5.tex +masterDocument= +name=auth_eloadas +pkg_extIsRegExp=false +pkg_extensions=.cls .sty .bbx .cbx .lbx +src_extIsRegExp=false +src_extensions=.tex .ltx .latex .dtx .ins .bib .mp + +[Tools] +MakeIndex= +QuickBuild= + +[document-settings,item:cmsv5.tex] +Bookmarks= +Encoding=UTF-8 +FoldedColumns= +FoldedLines= +Highlighting=LaTeX +Indentation Mode=normal +Mode=LaTeX +ReadWrite=true + +[item:cmsv5.kilepr] +archive=true +column=0 +encoding= +highlight= +line=0 +mode= +open=false +order=-1 + +[item:cmsv5.tex] +archive=true +column=1 +encoding=UTF-8 +highlight=LaTeX +line=245 +mode=LaTeX +open=true +order=0 + +[view-settings,view=0,item:cmsv5.tex] +CursorColumn=1 +CursorLine=245 +JumpList= +ViMarks= |