repo.or.cz
/
llpp.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
camlp5
2015-08-04
malc
caml
p
5
commit
|
commitdiff
|
tree
2015-08-02
mal
c
Update
commit
|
commitdiff
|
tree
2015-07-30
malc
More cosmetics
commit
|
commitdiff
|
tree
2015-07-30
malc
Cos
m
etics
commit
|
commitdiff
|
tree
2015-07-30
malc
'"' confuses caml-mode
commit
|
commitdiff
|
tree
2015-07-30
malc
U
s
e
p
roper t
o
ol name
commit
|
commitdiff
|
tree
2015-07-30
malc
Another c
a
se of u
n
ified value/except
i
on matchin
g
commit
|
commitdiff
|
tree
2015-07-28
ma
l
c
Spelling
commit
|
commitdiff
|
tree
2015-07-28
m
alc
Ki
l
l
s
tra
y
sp
a
ce
commit
|
commitdiff
|
tree
2015-07-28
malc
Safety nets
commit
|
commitdiff
|
tree
2015-07-24
malc
Expand
commit
|
commitdiff
|
tree
2015-07-24
malc
Fix some or
i
g
i
n issu
e
s
commit
|
commitdiff
|
tree
2015-07-24
malc
Sav
e
(and optiona
l
ly
s
how) ori
g
in in
h
ist
o
ry
commit
|
commitdiff
|
tree
2015-07-22
moosotc
Merge pul
l
request #9
f
rom He-Ro/master
commit
|
commitdiff
|
tree
2015-07-21
malc
Add markdown
support to l
l
ppac
commit
|
commitdiff
|
tree
2015-07-21
malc
Update m
u
pdf sub
m
o
d
ule
commit
|
commitdiff
|
tree
2015-07-10
malc
Restore cursor when ex
i
tin
g
lis
t
view
commit
|
commitdiff
|
tree
2015-06-26
m
a
l
c
Mer
g
e branch 'master' of http
s
://
g
it
h
ub
.
com
/
moos
o
t
c
.
.
.
commit
|
commitdiff
|
tree
2015-06-26
malc
Move
geturl to utils
and add
htt
p
s as a valid scheme
commit
|
commitdiff
|
tree
2015-06-10
m
oosot
c
Merge pull request #7 from tunc
e
r
/updat
e
-submodule
commit
|
commitdiff
|
tree
2015-06-06
ma
l
c
Cos
m
et
i
cs
commit
|
commitdiff
|
tree
2015-06-06
malc
Fix positi
o
ning when visiting document via histor
y
commit
|
commitdiff
|
tree
2015-05-24
malc
Properly initialize parameters
commit
|
commitdiff
|
tree
2015-05-24
m
a
lc
Remove redu
n
dant unlock
commit
|
commitdiff
|
tree
2015-04-22
malc
Remove broken obs
c
u
r
e
d optimization
commit
|
commitdiff
|
tree
2015-04-01
malc
Mo
r
e a
s
h
f
u
n
commit
|
commitdiff
|
tree
2015-04-01
malc
ash compatibility
commit
|
commitdiff
|
tree
2015-03-31
mal
c
Condit
i
onally
use
.
opt compile
r
s
commit
|
commitdiff
|
tree
2015-03-31
malc
Av
o
id
saving
c
onfig f
o
r fairy fil
e
s
commit
|
commitdiff
|
tree
2015-03-30
malc
Use ddjvu for
djvu to
p
df
con
v
ersion
commit
|
commitdiff
|
tree
2015-03-28
mal
c
Cosmet
i
cs
commit
|
commitdiff
|
tree
2015-03-26
malc
Men
t
i
on
rec
u
r
s
ive
commit
|
commitdiff
|
tree
2015-03-26
malc
F
i
x zooming wh
e
n visiti
n
g
d
ocument via hi
s
tory
commit
|
commitdiff
|
tree
2015-03-18
mooso
t
c
M
e
rge pull reques
t
#4 fro
m
He-Ro
/
minor-fixes
commit
|
commitdiff
|
tree
2015-03-06
malc
Rest
o
re zoo
m
but not
window dime
n
s
i
o
n
s o
n
got
o
hist
commit
|
commitdiff
|
tree
2015-03-05
m
a
lc
F
ix z
o
omin
g
commit
|
commitdiff
|
tree
2015-03-04
malc
Simplify
commit
|
commitdiff
|
tree
2015-03-03
malc
S
a
ve/
l
o
a
d
symmetry
w
.
r
.
t
.
orig
i
n
commit
|
commitdiff
|
tree
2015-03-03
m
a
lc
P
roperly r
e
s
tore
x in g
o
to
h
is
t
commit
|
commitdiff
|
tree
2015-03-02
mal
c
S
et document
s
pecific
w
indow dimensions wh
e
n using
.
.
.
commit
|
commitdiff
|
tree
2015-02-28
malc
Refac
t
o
ring
commit
|
commitdiff
|
tree