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
Bert
r
am Felgenh
a
uer
typo fix
commit
|
commitdiff
|
tree
2008-05-15
Bertram Felgenh
a
u
e
r
cosmetics
commit
|
commitdiff
|
tree
2008-05-15
Be
r
t
ram Felgenhauer
add a bunch of comments,
i
n
cl
u
d
ing hadd
o
ck docum
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2008-05-14
Bertram
Felgenhau
e
r
add
file
he
a
der
s
commit
|
commitdiff
|
tree
2008-05-14
B
e
r
tram Felgenhauer
spli
t
GUI
i
nto
s
everal mo
d
ules
commit
|
commitdiff
|
tree
2008-05-14
B
e
r
t
ram Felgenhauer
Impl
e
ment statistics gatherin
g
in GUI
commit
|
commitdiff
|
tree
2008-05-11
Bertra
m
F
e
lgenha
u
er
fi
x
a me
m
o
r
y
leak
commit
|
commitdiff
|
tree
2008-05-11
Be
r
t
r
am Fel
g
enh
a
uer
imple
m
ent
a fairly
rich co
m
man
d
line interface
commit
|
commitdiff
|
tree
2008-05-11
Bertram
F
elgenhauer
various co
s
metic changes
commit
|
commitdiff
|
tree
2008-05-11
Bertram Felg
e
nhau
e
r
imp
l
ement
c
ustom co
n
fig dialog
commit
|
commitdiff
|
tree
2008-05-11
B
ert
r
a
m
F
e
lgenhauer
upda
t
e cabal file for
c
abal head
commit
|
commitdiff
|
tree
2008-05-11
Bertram Felgen
h
a
u
er
use s
l
ightl
y
smoother icons
commit
|
commitdiff
|
tree
2008-05-08
Bertram
F
elgenhauer
add simple UI
,
and a lice
n
s
e
file
.
commit
|
commitdiff
|
tree
2008-05-08
Bertram
Felgen
h
auer
ad
d
a bit of meta inf
o
rma
t
ion to strategies
commit
|
commitdiff
|
tree
2008-05-07
Bert
r
am Felgenhauer
re
f
actor pla
y
Game, add pl
a
yGame' (Prompt
based and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Bertram Fe
l
genhauer
restructure, re
i
m
p
lement single
poi
n
t
s
trategy
commit
|
commitdiff
|
tree
2008-05-04
Be
r
tra
m
Felgenh
a
uer
a
d
d first str
a
t
egy
commit
|
commitdiff
|
tree
2008-05-04
B
e
r
t
ram Felge
n
hauer
i
ni
t
ial import
commit
|
commitdiff
|
tree