 Parent Directory
|
|
|
|
|
mk/
|
986 |
11 years |
jhr |
Fixed some makefile issues
|
|
config/
|
997 |
11 years |
jhr |
More configuration hacking to better support multiple platforms.
|
|
doc/
|
942 |
11 years |
jhr |
More work on syntax description
|
|
src/
|
1093 |
11 years |
jhr |
Working on new runtime build infrastructure
|
|
test/
|
1085 |
11 years |
glk |
simpler way of getting correct subtraction |
|
data/
|
1090 |
11 years |
glk |
tweaks |
configure.ac
|
999 |
11 years |
jhr |
Fix detection of linux systems
|
|
Makefile.in
|
986 |
11 years |
jhr |
Fixed some makefile issues
|
|
INSTALL
|
757 |
11 years |
jhr |
Update INSTALL instructions
|
|
TODO
|
1084 |
11 years |
glk |
some more basic bugs |
