|
|
43c511e8ad
|
(rnd_seed, main, parse_args, allocate_memory): New option -R to set
the PRNG seed. Print the seed. From Marc Olzheim.
|
2004-03-23 14:54:48 +00:00 |
|
|
|
67ad7ad66a
|
New option -f.
|
2004-03-09 14:38:59 +00:00 |
|
|
|
e3eadcd899
|
Utility programs land', ore' and `perfect' haven't been built by
default for ages (at least 4.2.0 '98). Unsurprisingly, they don't
compile anymore. Remove them.
|
2004-03-09 14:22:57 +00:00 |
|
|
|
1d004f2f33
|
Remove outdated version information for now. Keeping it up-to-date by
hand is too much work; should be automated.
|
2004-01-30 21:49:54 +00:00 |
|
|
|
3a1ef7d9b1
|
Protect space between option and option arg, so that typesetting doesn't
swallow it.
|
2004-01-30 21:11:11 +00:00 |
|
|
|
d8b7fdfae1
|
Import of Empire 4.2.12
|
2003-08-23 12:23:04 +00:00 |
|
