repo.or.cz
/
hs-pgms.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
typo fix
2008-05-15
B
e
r
tram Felgenh
a
uer
typo
f
ix
commit
|
commitdiff
|
tree
2008-05-15
Bertram Fe
l
genhau
e
r
cos
m
etics
commit
|
commitdiff
|
tree
2008-05-15
Bertram F
e
lgenhauer
add a b
u
n
c
h
of co
m
men
t
s
,
in
c
lu
d
i
n
g haddock doc
u
mentation
.
.
.
commit
|
commitdiff
|
tree
2008-05-14
Bertram Felgenha
u
er
a
dd file headers
commit
|
commitdiff
|
tree
2008-05-14
Ber
t
ram Felgenh
a
uer
s
plit
G
UI into several modules
commit
|
commitdiff
|
tree
2008-05-14
B
e
r
tram Felgen
h
auer
Implem
e
nt statistics ga
t
hering in
G
U
I
commit
|
commitdiff
|
tree
2008-05-11
B
ertram Felgenh
a
u
er
fix a
m
emory leak
commit
|
commitdiff
|
tree
2008-05-11
B
e
r
tram
Felgenhauer
imple
m
ent
a
fairly ric
h
command
l
ine interface
commit
|
commitdiff
|
tree
2008-05-11
Bertram Felgenhauer
v
a
rious cosmetic chan
g
es
commit
|
commitdiff
|
tree
2008-05-11
Bertram
Felgenhauer
implem
e
nt custom config dialog
commit
|
commitdiff
|
tree
2008-05-11
Ber
t
ram F
e
l
g
enhaue
r
upd
a
t
e
ca
b
al file for
cab
a
l he
a
d
commit
|
commitdiff
|
tree
2008-05-11
B
ertram Felgenhauer
use slightly smoo
t
her
icons
commit
|
commitdiff
|
tree
2008-05-08
Be
r
t
r
am Fel
g
enhaue
r
a
d
d
simple UI, and a license f
i
le
.
commit
|
commitdiff
|
tree
2008-05-08
Bertram Felgenhauer
a
dd a
bit of
meta i
n
formation to
s
tr
a
tegi
e
s
commit
|
commitdiff
|
tree
2008-05-07
Ber
t
ram Felgenhauer
r
ef
a
ctor playGame, add pla
y
Game'
(
Prom
p
t based an
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Ber
t
ram Fe
l
genhauer
restructu
r
e, reimplement si
n
gle
p
oi
n
t strat
e
gy
commit
|
commitdiff
|
tree
2008-05-04
Bertram Felgenhauer
add f
i
rst
s
trategy
commit
|
commitdiff
|
tree
2008-05-04
Bert
r
a
m Felgenhau
e
r
ini
t
ial im
p
or
t
commit
|
commitdiff
|
tree