diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/cmsv4.kilepr')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/cmsv4.kilepr | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/cmsv4.kilepr b/cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/cmsv4.kilepr deleted file mode 100644 index 1c48f5ab1..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/docs/satcomp15-pdf/cmsv4.kilepr +++ /dev/null @@ -1,53 +0,0 @@ -[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=cmsv4.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:cmsv4.tex] -Bookmarks= -Encoding=UTF-8 -FoldedColumns= -FoldedLines= -Highlighting=LaTeX -Indentation Mode=normal -Mode=LaTeX -ReadWrite=true - -[item:cmsv4.kilepr] -archive=true -column=0 -encoding= -highlight= -line=0 -mode= -open=false -order=-1 - -[item:cmsv4.tex] -archive=true -column=1 -encoding=UTF-8 -highlight=LaTeX -line=245 -mode=LaTeX -open=true -order=0 - -[view-settings,view=0,item:cmsv4.tex] -CursorColumn=1 -CursorLine=245 -JumpList= -ViMarks= |