summaryrefslogtreecommitdiff
path: root/cryptominisat5/cryptominisat-5.6.3/docs/satcomp18-pdf/cmsv5.kilepr
blob: 92617e2034613aa72e2f67bf021f105bd2439366 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
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=
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback