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
Remove dysfunctional (for OCaml) automatic dependency generation
2014-12-21
malc
Rem
o
ve
d
y
s
f
unctio
n
al (
f
or OCam
l
)
a
u
t
o
m
atic
d
e
p
endency
.
.
.
commit
|
commitdiff
|
tree
2014-12-21
malc
Better error message
commit
|
commitdiff
|
tree
2014-12-21
malc
Trim some f
a
t
commit
|
commitdiff
|
tree
2014-12-17
malc
Nati
v
e
aware dep g
e
neration
commit
|
commitdiff
|
tree
2014-12-15
mal
c
A
dd missing
d
epe
n
de
n
cy
commit
|
commitdiff
|
tree
2014-12-15
malc
Ki
l
l
s
tra
y
space
commit
|
commitdiff
|
tree
2014-12-15
malc
Allow na
t
ive co
m
pil
a
tion
commit
|
commitdiff
|
tree
2014-12-15
malc
Use OCaml 4
.
02s unified value/e
x
c
e
p
t
ion matching
commit
|
commitdiff
|
tree
2014-12-15
malc
Only link
ag
a
inst MuJ
S
if i
t
is avai
l
abl
e
commit
|
commitdiff
|
tree
2014-12-15
malc
Rob
u
s
t
ness
commit
|
commitdiff
|
tree
2014-12-06
malc
Disable Sumatr
a
PDF lo
o
kup
commit
|
commitdiff
|
tree
2014-11-29
malc
Allow opting out of
f
ontc
o
n
fig
commit
|
commitdiff
|
tree
2014-11-29
m
alc
C
onsist
e
ncy
commit
|
commitdiff
|
tree
2014-11-28
m
alc
Dec
o
n
f
use shake
commit
|
commitdiff
|
tree
2014-11-27
malc
Make
shake h
a
p
p
y
commit
|
commitdiff
|
tree
2014-11-11
malc
%F
i
s apparently not without is
s
ues
commit
|
commitdiff
|
tree
2014-11-09
mal
c
Optional use of ocamlfind for
lablGL dis
c
ov
e
r
y
commit
|
commitdiff
|
tree
2014-11-09
malc
U
se
abstract unix socke
t
s on l
i
nux
commit
|
commitdiff
|
tree
2014-11-09
malc
Revert "More apt
fix for stray o
u
tlines"
commit
|
commitdiff
|
tree
2014-11-09
malc
Fix
rotation
commit
|
commitdiff
|
tree
2014-10-29
mal
c
A
c
count fo
r
c
h
ange in CAMLPar
a
mN initialization
beh
a
vior
.
.
.
commit
|
commitdiff
|
tree
2014-10-24
malc
Add missing depe
n
de
n
cy
commit
|
commitdiff
|
tree
2014-10-15
malc
No idea
commit
|
commitdiff
|
tree
2014-10-14
malc
Simp
l
i
f
y
commit
|
commitdiff
|
tree
2014-10-13
ma
l
c
R
i
iig
h
t
.
.
.
commit
|
commitdiff
|
tree
2014-10-13
malc
Bring back the abi
l
ity to lin
k
semi-sta
t
ic
a
l
l
y
commit
|
commitdiff
|
tree
2014-10-13
malc
Add document
t
ype - none
commit
|
commitdiff
|
tree
2014-10-12
malc
Python3 friendly splitting
commit
|
commitdiff
|
tree
2014-10-12
m
a
lc
htt
p
://xk
c
d
.
com/85
9
/
once again
commit
|
commitdiff
|
tree
2014-10-12
malc
Comm
e
nts
commit
|
commitdiff
|
tree
2014-09-13
malc
M
o
r
e apt fix for s
t
ray outlines
commit
|
commitdiff
|
tree
2014-09-13
m
a
lc
Re
s
e
t
ou
t
lin
e
on op
e
ndoc
commit
|
commitdiff
|
tree
2014-09-03
malc
Reve
r
t
"Hummm
.
.
.
"
commit
|
commitdiff
|
tree
2014-09-03
ma
l
c
Fix some more w
a
rnings
commit
|
commitdiff
|
tree
2014-09-03
m
alc
H
u
mmm
.
.
.
commit
|
commitdiff
|
tree
2014-08-30
malc
Update
commit
|
commitdiff
|
tree
2014-08-30
m
alc
Platform juggling
commit
|
commitdiff
|
tree
2014-08-30
mal
c
C
osmetics
commit
|
commitdiff
|
tree
2014-08-30
malc
Cosmetics
commit
|
commitdiff
|
tree
2014-08-30
malc
Simpl
i
f
y
commit
|
commitdiff
|
tree
2014-08-30
malc
Relative
commit
|
commitdiff
|
tree
2014-08-30
m
a
lc
Kill stray line
commit
|
commitdiff
|
tree
2014-08-30
malc
Consistency
commit
|
commitdiff
|
tree
2014-08-30
ma
l
c
lablgl-1
.
05 fat trimming patch
commit
|
commitdiff
|
tree
2014-08-30
malc
M
e
nt
i
on C
a
mlP4 and
p
rop
e
rl
y
capitalize
commit
|
commitdiff
|
tree
2014-08-30
malc
Fi
x
chan
g
ewindo
w
attributes opcode
commit
|
commitdiff
|
tree
2014-08-30
malc
Switch to
O
C
aml 4
.
02
.
0 an
d
s
t
op pa
t
r
onizing
commit
|
commitdiff
|
tree
2014-08-26
m
alc
Whoops
commit
|
commitdiff
|
tree
2014-08-26
malc
Kill
s
tray spa
c
e
commit
|
commitdiff
|
tree
2014-08-26
malc
h
ttp://xkcd
.
com/859/
commit
|
commitdiff
|
tree
2014-08-25
malc
Do not use system supp
l
ied libop
e
n
jpeg
2
commit
|
commitdiff
|
tree
2014-08-25
malc
Les
s
incorrect patc
h
commit
|
commitdiff
|
tree
2014-08-24
malc
C
osm
e
tics
commit
|
commitdiff
|
tree
2014-08-24
malc
Pytho
n
3 c
o
mpatibility
commit
|
commitdiff
|
tree
2014-08-24
malc
Don't lie
commit
|
commitdiff
|
tree
2014-08-24
malc
Pa
r
simony
commit
|
commitdiff
|
tree
2014-08-24
malc
cbz
l
creat
i
o
n
commit
|
commitdiff
|
tree
2014-08-24
ma
l
c
Cos
m
e
tics
commit
|
commitdiff
|
tree
2014-08-24
malc
Simplify
commit
|
commitdiff
|
tree
2014-08-24
m
alc
No idea
h
ow
to properly "solve" this
commit
|
commitdiff
|
tree
2014-08-24
malc
Try avoi
d
ing using
s
hell b
u
il
t
in ver
s
ion of
ti
m
e
commit
|
commitdiff
|
tree
2014-08-23
ma
l
c
C
BZ hac
k
commit
|
commitdiff
|
tree
2014-08-23
malc
Compile li
n
k
.
c with
o
ptimiz
a
t
ions
commit
|
commitdiff
|
tree
2014-08-23
malc
Add
-
l
a
st
o
ption
commit
|
commitdiff
|
tree
2014-08-21
malc
Sem
i
colo
n
is one
commit
|
commitdiff
|
tree
2014-08-20
mal
c
Uh
m
.
.
apparently
i
do not u
n
derstand n
i
n
j
a
commit
|
commitdiff
|
tree
2014-08-20
malc
Use
g
et
e
nv
w
it
h
d
ef
commit
|
commitdiff
|
tree
2014-08-20
malc
XDG
commit
|
commitdiff
|
tree
2014-08-19
malc
Consitency
commit
|
commitdiff
|
tree
2014-08-19
malc
C
o
n
sitency
commit
|
commitdiff
|
tree
2014-08-19
ma
l
c
Correct -gc description
(take
s
an argu
m
ent)
commit
|
commitdiff
|
tree
2014-08-19
malc
Uhm
.
.
dynamic typing is fun
commit
|
commitdiff
|
tree
2014-08-18
malc
Sim
p
lify
commit
|
commitdiff
|
tree
2014-08-18
malc
Give in and use C99
commit
|
commitdiff
|
tree
2014-08-17
malc
A
v
oid non constant intializ
e
r
commit
|
commitdiff
|
tree
2014-08-17
mal
c
Cosmetics
commit
|
commitdiff
|
tree
2014-08-16
mal
c
Expand
commit
|
commitdiff
|
tree
2014-08-16
m
alc
Deal wit
h
warnings
(
exhau
s
tion
)
commit
|
commitdiff
|
tree
2014-08-16
mal
c
Fix typo
commit
|
commitdiff
|
tree
2014-08-16
malc
R
e
move s
u
perfluous newline
commit
|
commitdiff
|
tree
2014-08-16
m
a
lc
Fix botched
p
u
s
h
commit
|
commitdiff
|
tree
2014-08-15
m
a
l
c
Teach llp
p
ac to f
e
tch rem
o
te
urls + cosmetics
commit
|
commitdiff
|
tree
2014-08-13
malc
Allow embedd
i
ng
commit
|
commitdiff
|
tree
2014-08-13
malc
Cosmet
i
cs
commit
|
commitdiff
|
tree
2014-08-13
m
alc
S
ample
gc scrip
t
commit
|
commitdiff
|
tree
2014-08-13
ma
l
c
Mov
e
commit
|
commitdiff
|
tree
2014-08-13
malc
Hap
h
azzard ho
d
gep
d
ge
commit
|
commitdiff
|
tree
2014-08-07
m
a
lc
Will have to live with manual dep
e
ndencies for n
o
w
commit
|
commitdiff
|
tree
2014-08-07
malc
Build s
y
stem improvements
commit
|
commitdiff
|
tree
2014-08-05
malc
U
s
e E
.
s consistently
commit
|
commitdiff
|
tree
2014-08-05
m
alc
Symmetry
commit
|
commitdiff
|
tree
2014-08-05
malc
GLX
c
hanges
commit
|
commitdiff
|
tree
2014-08-04
malc
W
IP
commit
|
commitdiff
|
tree
2014-08-02
m
alc
Massage
c
onfigure
commit
|
commitdiff
|
tree
2014-08-02
malc
F
i
x
men
u
/meta mixup
commit
|
commitdiff
|
tree
2014-08-02
m
a
lc
Kill st
r
ay space
commit
|
commitdiff
|
tree
2014-08-02
m
al
c
Initial
commit
|
commitdiff
|
tree
2014-08-02
malc
Initial
commit
|
commitdiff
|
tree
2014-08-02
malc
No longer needed
commit
|
commitdiff
|
tree
2014-08-02
malc
More lefty twe
a
ks
commit
|
commitdiff
|
tree
next