diff options
author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:38:50 -0700 |
---|---|---|
committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:38:50 -0700 |
commit | 35353be470c5b73b7c19d9aea27d09695d9b4dfc (patch) | |
tree | 9d1ebe00b9e1fdb3af024a699f2e0eb8d2b09871 /cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr | |
parent | 43e3983647365e36ec616b4ee92a223537bf4616 (diff) |
revert space
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= |