-
Notifications
You must be signed in to change notification settings - Fork 1
/
okularrc
55 lines (53 loc) · 2.84 KB
/
okularrc
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
54
55
[Desktop Entry]
FullScreen=false
[MainWindow]
1599x899 screen: Height=899
1599x899 screen: Width=1599
1599x899 screen: Window-Maximized=true
1599x899 screen: XPosition=0
1599x899 screen: YPosition=0
1600x900 screen: Height=900
1600x900 screen: Width=1600
1918x1079 screen: Height=1079
1918x1079 screen: Width=1918
1918x1079 screen: Window-Maximized=true
1918x1079 screen: XPosition=0
1918x1079 screen: YPosition=0
1920x1080 screen: Height=1080
1920x1080 screen: Width=1920
2 screens: Window-Maximized=true
DP-3 XPosition=960
DP-3 YPosition=488
HDMI-3=HDMI-3
LVDS-1=LVDS-1
LVDS-1 XPosition=480
LVDS-1 YPosition=218
MenuBar=Disabled
State=AAAA/wAAAAD9AAAAAAAAB34AAAQ3AAAABAAAAAQAAAAIAAAACPwAAAADAAAAAQAAAAEAAAAsAHEAdQBpAGMAawBBAG4AbgBvAHQAYQB0AGkAbwBuAFQAbwBvAGwAQgBhAHICAAAAAP////8AAAAAAAAAAAAAAAIAAAABAAAAFgBtAGEAaQBuAFQAbwBvAGwAQgBhAHIAAAAAAP////8AAAAAAAAAAAAAAAIAAAABAAAAIgBhAG4AbgBvAHQAYQB0AGkAbwBuAFQAbwBvAGwAQgBhAHIAAAAAAP////8AAAAAAAAAAA==
ToolBarsMovable=Disabled
VGA-1 Height 1080=1080
VGA-1 Width 1920=1920
VGA-1 Window-Maximized 1920x1080=true
VGA-1 XPosition=0
VGA-1 YPosition=0
[Recent Files]
File1[$e]=$HOME/mep/arts/Verwer et al_2012_Results of the PAutomaC Probabilistic Automaton Learning Competition.pdf
File10[$e]=$HOME/mep/arts/Moeller et al_2023_Automata Learning with an Incomplete Teacher.pdf
File2[$e]=$HOME/mep/arts/Vaandrager et al_2022_A New Approach for Active Automata Learning Based on Apartness2.pdf
File3[$e]=$HOME/mep/arts/Verwer_Hammerschmidt_2023_FlexFringe.pdf
File4[$e]=$HOME/mep/arts/Osugi et al_2005_Balancing exploration and exploitation.pdf
File5[$e]=$HOME/mep/arts/Leucker_Neider_2012_Learning Minimal Deterministic Automata from Inexperienced Teachers.pdf
File6[$e]=$HOME/mep/arts/Giantamidis et al_2021_Learning Moore machines from input–output traces.pdf
File7[$e]=$HOME/mep/arts/Grinchtein_Leucker_2006_Learning Finite-State Machines from Inexperienced Teachers.pdf
File8[$e]=$HOME/Zotero/storage/5I9VKDSS/Grinchtein et al. - 2006 - Inferring Network Invariants Automatically.pdf
File9[$e]=$HOME/mep/arts/Walkinshaw et al_2013_STAMINA.pdf
Name1[$e]=Verwer et al_2012_Results of the PAutomaC Probabilistic Automaton Learning Competition.pdf
Name10[$e]=Moeller et al_2023_Automata Learning with an Incomplete Teacher.pdf
Name2[$e]=Vaandrager et al_2022_A New Approach for Active Automata Learning Based on Apartness2.pdf
Name3[$e]=Verwer_Hammerschmidt_2023_FlexFringe.pdf
Name4[$e]=Osugi et al_2005_Balancing exploration and exploitation.pdf
Name5[$e]=Leucker_Neider_2012_Learning Minimal Deterministic Automata from Inexperienced Teachers.pdf
Name6[$e]=Giantamidis et al_2021_Learning Moore machines from input–output traces.pdf
Name7[$e]=Grinchtein_Leucker_2006_Learning Finite-State Machines from Inexperienced Teachers.pdf
Name8[$e]=Grinchtein et al. - 2006 - Inferring Network Invariants Automatically.pdf
Name9[$e]=Walkinshaw et al_2013_STAMINA.pdf