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
Update
2018-05-13
mal
c
Update
commit
|
commitdiff
|
tree
2018-05-13
malc
Safety net
commit
|
commitdiff
|
tree
2018-05-13
malc
Use official nom
e
nclature
commit
|
commitdiff
|
tree
2018-05-13
mal
c
Whoops
commit
|
commitdiff
|
tree
2018-05-13
malc
R
e
m
o
ve throttling
commit
|
commitdiff
|
tree
2018-05-12
malc
Co
m
ment
commit
|
commitdiff
|
tree
2018-05-12
ma
l
c
C
o
smeti
c
s
commit
|
commitdiff
|
tree
2018-05-12
malc
Mo
v
e s
e
l
string to u
t
ils
commit
|
commitdiff
|
tree
2018-05-12
malc
Hmm
.
.
.
commit
|
commitdiff
|
tree
2018-05-11
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-05-11
malc
Remove stat&pp
x
e
x
periments
commit
|
commitdiff
|
tree
2018-05-11
malc
Cosmetics
commit
|
commitdiff
|
tree
2018-05-11
m
alc
Move Quit to utils
commit
|
commitdiff
|
tree
2018-05-11
mal
c
R
e
factor unisyms
commit
|
commitdiff
|
tree
2018-05-11
malc
Move pipe
f
to utils
commit
|
commitdiff
|
tree
2018-05-11
malc
Glutils
commit
|
commitdiff
|
tree
2018-05-11
malc
Rem
o
ve keyhack
commit
|
commitdiff
|
tree
2018-05-11
m
alc
Update
commit
|
commitdiff
|
tree
2018-05-10
malc
Drop
l
ibmupdf past
hack
commit
|
commitdiff
|
tree
2018-05-10
ma
l
c
Accura
t
e(r) m
u
pdf tracking
commit
|
commitdiff
|
tree
2018-05-10
mal
c
Co
s
metics
commit
|
commitdiff
|
tree
2018-05-10
malc
Stricter
w
a
rni
n
gs and
fallout
commit
|
commitdiff
|
tree
2018-05-10
malc
Update
commit
|
commitdiff
|
tree
2018-05-10
malc
Cons
i
stency
commit
|
commitdiff
|
tree
2018-05-08
malc
Inconsolatazi4-Re
g
ular
commit
|
commitdiff
|
tree
2018-05-08
malc
Niger
i
a
commit
|
commitdiff
|
tree
2018-05-08
malc
Up
d
ate
commit
|
commitdiff
|
tree
2018-05-08
m
a
l
c
Move UniSyms to utils
commit
|
commitdiff
|
tree
2018-05-07
malc
Selection
commit
|
commitdiff
|
tree
2018-05-07
m
a
lc
stat vs
sum
commit
|
commitdiff
|
tree
2018-05-06
malc
Jus
t
say "No" to broken co
m
pilers
commit
|
commitdiff
|
tree
2018-05-06
malc
イ
ン
グリッシュ
commit
|
commitdiff
|
tree
2018-05-06
m
a
lc
Update
commit
|
commitdiff
|
tree
2018-05-06
m
a
lc
Clarify
commit
|
commitdiff
|
tree
2018-05-05
malc
More ro
b
ust
f
o
nt-family
f
allback
commit
|
commitdiff
|
tree
2018-05-04
malc
Updat
e
commit
|
commitdiff
|
tree
2018-05-04
malc
Move p
p
x to mi
s
c
commit
|
commitdiff
|
tree
2018-05-04
malc
C
osme
t
ics
commit
|
commitdiff
|
tree
2018-05-04
malc
U
p
date
commit
|
commitdiff
|
tree
2018-05-04
malc
Placeholder
commit
|
commitdiff
|
tree
2018-05-04
ma
l
c
Up
d
ate
commit
|
commitdiff
|
tree
2018-05-04
malc
Complete comp
l
etion removal
commit
|
commitdiff
|
tree
2018-05-04
malc
Completions became stale and
nobody sh
e
pherds them
commit
|
commitdiff
|
tree
2018-05-04
malc
Upd
a
te
commit
|
commitdiff
|
tree
2018-05-03
malc
D
r
o
p any pretense th
a
t W
i
ndows is s
u
pp
o
rted
commit
|
commitdiff
|
tree
2018-05-03
malc
Sync with u
p
str
e
am
commit
|
commitdiff
|
tree
2018-05-03
ma
l
c
mkd
i
r
commit
|
commitdiff
|
tree
2018-05-03
malc
Drop Windows re
f
erence
commit
|
commitdiff
|
tree
2018-05-03
ma
l
c
Re
m
o
ve ghy
l
l sc
r
oll
commit
|
commitdiff
|
tree
2018-05-03
m
alc
R
emove -embedd
commit
|
commitdiff
|
tree
2018-05-02
malc
Move float equal diag
n
ost
i
c paragmas
a
round
commit
|
commitdiff
|
tree
2018-05-02
malc
Das
h
commit
|
commitdiff
|
tree
2018-05-02
malc
Ingrish
commit
|
commitdiff
|
tree
2018-05-02
malc
T
ell
p
a
n
d
oc to use epub2
commit
|
commitdiff
|
tree
2018-05-01
m
a
lc
D
o
n't lie
commit
|
commitdiff
|
tree
2018-05-01
malc
Hmmm
.
.
commit
|
commitdiff
|
tree
2018-05-01
ma
l
c
U
p
d
ate
commit
|
commitdiff
|
tree
2018-05-01
m
a
lc
Shuffl
e
commit
|
commitdiff
|
tree
2018-04-30
malc
Dog
commit
|
commitdiff
|
tree
2018-04-30
malc
Remov
e
red
u
ndant
mkdi
r
commit
|
commitdiff
|
tree
2018-04-30
malc
Make pp
x
things "intuitiv
e
"
commit
|
commitdiff
|
tree
2018-04-30
malc
P
PX
exper
i
m
ent
commit
|
commitdiff
|
tree
2018-04-30
m
al
c
Prop
e
r path to past
commit
|
commitdiff
|
tree
2018-04-29
malc
Expand
commit
|
commitdiff
|
tree
2018-04-29
malc
Upd
a
te
commit
|
commitdiff
|
tree
2018-04-29
malc
U
pdat
e
commit
|
commitdiff
|
tree
2018-04-29
m
a
lc
Dee
p
o
ut-of-tree
commit
|
commitdiff
|
tree
2018-04-28
malc
Clarify
commit
|
commitdiff
|
tree
2018-04-28
malc
No more
commit
|
commitdiff
|
tree
2018-04-28
m
a
l
c
Update
commit
|
commitdiff
|
tree
2018-04-28
malc
Update
commit
|
commitdiff
|
tree
2018-04-28
malc
Apter versio
n
tracking
commit
|
commitdiff
|
tree
2018-04-28
m
a
lc
Dances ar
o
und
lack o
f
local
o
caml
commit
|
commitdiff
|
tree
2018-04-28
malc
Naming
commit
|
commitdiff
|
tree
2018-04-28
malc
Tr
a
ck ocaml version
commit
|
commitdiff
|
tree
2018-04-28
malc
Legal
e
se
commit
|
commitdiff
|
tree
2018-04-28
mal
c
Weird
commit
|
commitdiff
|
tree
2018-04-28
malc
Sync with
u
pstream
commit
|
commitdiff
|
tree
2018-04-27
malc
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
m
alc
Inline n
o
w
commit
|
commitdiff
|
tree
2018-04-27
malc
Use
oca
m
l as a s
u
bstitute
f
or b
c
commit
|
commitdiff
|
tree
2018-04-27
m
alc
This is b
a
sh
commit
|
commitdiff
|
tree
2018-04-27
m
alc
C
achin
g
commit
|
commitdiff
|
tree
2018-04-27
malc
Proper indentation
commit
|
commitdiff
|
tree
2018-04-27
malc
Update
commit
|
commitdiff
|
tree
2018-04-27
m
a
l
c
Shuffle
commit
|
commitdiff
|
tree
2018-04-27
ma
l
c
Avoid mentioning revi
s
i
o
n
t
wice
commit
|
commitdiff
|
tree
2018-04-26
mal
c
Crude but
w
o
rks
commit
|
commitdiff
|
tree
2018-04-26
m
al
c
Only output
r
el
e
vant p
a
rts of d
i
gest
commit
|
commitdiff
|
tree
2018-04-26
malc
Restore true out-of-treeness
commit
|
commitdiff
|
tree
2018-04-25
ma
l
c
Ad
d
U+2192
commit
|
commitdiff
|
tree
2018-04-25
mal
c
P
l
ain
CRC should be enou
g
h
commit
|
commitdiff
|
tree
2018-04-25
m
alc
No idea
commit
|
commitdiff
|
tree
2018-04-25
m
a
l
c
S
uppress digesting
error
output
commit
|
commitdiff
|
tree
2018-04-25
malc
Sprinkle with
s
o
m
e
l
ocals
commit
|
commitdiff
|
tree
2018-04-24
malc
Cosmet
i
cs
commit
|
commitdiff
|
tree
2018-04-23
malc
Off by one
commit
|
commitdiff
|
tree
2018-04-23
mal
c
Cosmetic
s
commit
|
commitdiff
|
tree
2018-04-23
ma
l
c
Upda
t
e
commit
|
commitdiff
|
tree
2018-04-23
malc
Whoops
commit
|
commitdiff
|
tree
next