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
Approach to deps in ocaml must be redone
2014-07-30
mal
c
Approach to
d
eps i
n
ocaml m
u
st be redone
commit
|
commitdiff
|
tree
2014-07-30
malc
Debug
g
ing
commit
|
commitdiff
|
tree
2014-07-30
malc
A
dd dir locals
commit
|
commitdiff
|
tree
2014-07-29
mal
c
BS WIP
commit
|
commitdiff
|
tree
2014-07-29
malc
F
irs
t
stab at ocaml dependencies
commit
|
commitdiff
|
tree
2014-07-29
m
a
lc
Build im
p
rovements WIP
commit
|
commitdiff
|
tree
2014-07-29
m
a
l
c
Cosmetics
commit
|
commitdiff
|
tree
2014-07-29
m
a
lc
Spelling
commit
|
commitdiff
|
tree
2014-07-29
malc
Cosmetics
commit
|
commitdiff
|
tree
2014-07-28
malc
Simplify
commit
|
commitdiff
|
tree
2014-07-28
ma
l
c
Kill stray line
commit
|
commitdiff
|
tree
2014-07-28
m
alc
Redundancy removal
commit
|
commitdiff
|
tree
2014-07-28
mal
c
Cosmetics
commit
|
commitdiff
|
tree
2014-07-28
malc
Y
ura h
a
s a
p
oint
commit
|
commitdiff
|
tree
2014-07-28
malc
Unbreak buildall
.
sh
commit
|
commitdiff
|
tree
2014-07-28
malc
Add debugging
commit
|
commitdiff
|
tree
2014-07-28
m
a
lc
Switch to ni
n
ja
commit
|
commitdiff
|
tree
2014-07-28
malc
Drop tb
s
in favo
u
r
o
f ninja
commit
|
commitdiff
|
tree
2014-07-26
malc
D
on'
t
co
n
fuse myse
l
f
commit
|
commitdiff
|
tree
2014-07-26
Mark Ot
e
i
z
a
fix
Method ov
e
rridde
n
warn
i
ngs
commit
|
commitdiff
|
tree
2014-07-26
Mark Oteiza
fix Label omit
t
e
d
warnings
commit
|
commitdiff
|
tree
2014-07-26
malc
Iiiiirkut
s
k
commit
|
commitdiff
|
tree
2014-07-22
malc
Pro
c
ess
.
zips as cbz
commit
|
commitdiff
|
tree
2014-07-21
ma
l
c
Add missing function ke
y
defini
t
ions
commit
|
commitdiff
|
tree
2014-07-21
m
a
lc
W
hoop
s
commit
|
commitdiff
|
tree
2014-07-21
malc
A
dd fc
f
ont
t
y
p
e a
n
d also perform some
fon
t
c
le
a
nup
commit
|
commitdiff
|
tree
2014-07-20
malc
Opts?
commit
|
commitdiff
|
tree
2014-07-20
malc
N
o ide
a
y
e
t
h
o
w
to make it 100% foolproof
commit
|
commitdiff
|
tree
2014-07-20
malc
Robustify
commit
|
commitdiff
|
tree
2014-07-20
malc
Since
w
e dont c
r
eate cache
d
ir (do
n
t) do th
e
same with
.
.
.
commit
|
commitdiff
|
tree
2014-07-20
malc
Use
f
ilt
commit
|
commitdiff
|
tree
2014-07-20
m
a
lc
Different approach to fon
t
handling
commit
|
commitdiff
|
tree
2014-07-20
malc
Add some missed key
n
a
m
es
commit
|
commitdiff
|
tree
2014-07-20
malc
Handle some f
o
nt
t
ypes
commit
|
commitdiff
|
tree
2014-07-20
malc
Fix mi
n
us value
commit
|
commitdiff
|
tree
2014-07-19
malc
Expand pp
commit
|
commitdiff
|
tree
2014-07-19
mal
c
Keys
commit
|
commitdiff
|
tree
2014-07-19
m
alc
Remove sup
e
rfluous parenthe
s
es
commit
|
commitdiff
|
tree
2014-07-19
malc
Cosmeti
c
s
commit
|
commitdiff
|
tree
2014-07-17
malc
Who
o
ps
commit
|
commitdiff
|
tree
2014-07-17
malc
Shrug
commit
|
commitdiff
|
tree
2014-07-17
malc
Will it ever end
commit
|
commitdiff
|
tree
2014-07-16
malc
Wh
o
ops
commit
|
commitdiff
|
tree
2014-07-16
ma
l
c
Do not leak
commit
|
commitdiff
|
tree
2014-07-16
malc
Make things fa
s
t a
g
ain by piggy
b
acking on good folks
.
.
.
commit
|
commitdiff
|
tree
2014-07-16
malc
Save
on fpn formatting, and needless subsecond p
r
ec
i
sion
commit
|
commitdiff
|
tree
2014-07-16
malc
Er
m
.
.
.
h
ard to e
x
pl
a
in in
o
n
e
se
n
tence
commit
|
commitdiff
|
tree
2014-07-16
m
a
lc
z i
s
f
o
r zoom
.
.
.
not for g
commit
|
commitdiff
|
tree
2014-07-16
malc
No
t
quit
e
but c
l
oser
commit
|
commitdiff
|
tree
2014-07-15
ma
l
c
Alternative is worse
commit
|
commitdiff
|
tree
2014-07-15
m
a
lc
Still not
s
u
r
e
commit
|
commitdiff
|
tree
2014-07-15
malc
Cosmetics
commit
|
commitdiff
|
tree
2014-07-13
mal
c
Sync with
u
pstream
commit
|
commitdiff
|
tree
2014-07-13
malc
Sortin
g
commit
|
commitdiff
|
tree
2014-07-13
m
a
lc
C
r
eate an
d
u
se Utils
.
n
i
ndex
commit
|
commitdiff
|
tree
2014-07-13
malc
Whoo
p
s
commit
|
commitdiff
|
tree
2014-07-13
ma
l
c
Almost
commit
|
commitdiff
|
tree
2014-07-13
mal
c
Ellipsis
commit
|
commitdiff
|
tree
2014-07-12
malc
History sorting (W
I
P
)
commit
|
commitdiff
|
tree
2014-07-11
malc
Do
n
ot die on
o
pe
n
xref
e
rrors, repor
t
an
d
con
t
inue
.
.
.
commit
|
commitdiff
|
tree
2014-07-10
mal
c
Enter histmo
d
e wh
e
n no file is specified
commit
|
commitdiff
|
tree
2014-07-10
malc
Try
curl i
f
wget is not avai
l
a
b
le
commit
|
commitdiff
|
tree
2014-07-10
malc
Nicer history
commit
|
commitdiff
|
tree
2014-07-10
m
a
l
c
Add hi
s
tory to the list
of modes
commit
|
commitdiff
|
tree
2014-07-10
malc
Save date of l
a
st
vi
s
i
t
(and
s
o
rt hi
s
tory b
a
sed on
.
.
.
commit
|
commitdiff
|
tree
2014-07-09
malc
L
efty again
commit
|
commitdiff
|
tree
2014-07-09
malc
Left accountin
g
agai
n
commit
|
commitdiff
|
tree
2014-07-09
ma
l
c
Kill redundant me
t
hod
commit
|
commitdiff
|
tree
2014-07-09
malc
Amend
commit
|
commitdiff
|
tree
2014-07-08
malc
Fix some more
l
ef
t
ies
commit
|
commitdiff
|
tree
2014-07-08
malc
Handle scroll ba
r
o
n
the le
f
t
properly
commit
|
commitdiff
|
tree
2014-07-08
malc
Fix mb
vs utf
8
m
ismatch
commit
|
commitdiff
|
tree
2014-07-08
malc
E
commit
|
commitdiff
|
tree
2014-07-08
mal
c
Simplify (and fix for
l
l
p
pac (i
.
e
.
or
i
gin
)
case)
commit
|
commitdiff
|
tree
2014-07-08
m
a
lc
Cos
m
etics
commit
|
commitdiff
|
tree
2014-07-07
malc
Save
c
o
n
f
ig on history goto
commit
|
commitdiff
|
tree
2014-07-07
malc
R
efine
h
istory m
o
de
commit
|
commitdiff
|
tree
2014-07-07
malc
Add
a
bspath to utils
.
ml
commit
|
commitdiff
|
tree
2014-07-07
malc
Fir
s
t rough
ta
k
e
on
history mode
commit
|
commitdiff
|
tree
2014-07-04
malc
Accoun
t
for lefty scroll bar in he
l
p scre
e
n
commit
|
commitdiff
|
tree
2014-07-04
malc
Condense and dim
commit
|
commitdiff
|
tree
2014-07-04
malc
C
hang
e
s
elect
i
o
n color
commit
|
commitdiff
|
tree
2014-07-04
malc
Avoid po
s
sibl
e
confusion
commit
|
commitdiff
|
tree
2014-07-03
ma
l
c
Sh
u
ffle code around
commit
|
commitdiff
|
tree
2014-07-03
malc
Compress
commit
|
commitdiff
|
tree
2014-07-03
malc
Minor ref
a
ctoring
commit
|
commitdiff
|
tree
2014-07-03
malc
Support lefty scroll-bar
commit
|
commitdiff
|
tree
2014-07-02
malc
Change UI font handling
commit
|
commitdiff
|
tree
2014-07-02
malc
Ex
p
lain how to search for help text
commit
|
commitdiff
|
tree
2014-07-01
malc
H
acks don't work
commit
|
commitdiff
|
tree
2014-07-01
m
a
l
c
R
e
move s
t
ra
y
empty l
i
ne
commit
|
commitdiff
|
tree
2014-07-01
malc
Uhm
commit
|
commitdiff
|
tree
2014-07-01
malc
Nicer
KEYS (Michae
l
Asnes)
commit
|
commitdiff
|
tree
2014-06-30
malc
Clang
s
uppor
t
commit
|
commitdiff
|
tree
2014-06-25
ma
l
c
Add missing
s
pac
e
commit
|
commitdiff
|
tree
2014-06-24
malc
Update
commit
|
commitdiff
|
tree
2014-06-24
m
alc
Remove defa
u
lt
ghyll
scroll
commit
|
commitdiff
|
tree
2014-06-21
malc
Uh
.
.
.
e
v
en more m
a
s
sage
commit
|
commitdiff
|
tree
2014-06-16
malc
Further
m
a
ssage
commit
|
commitdiff
|
tree
2014-06-15
malc
Sync
with ups
t
ream
commit
|
commitdiff
|
tree
next