one less warning :-)
a few test fixes
fix html
useful "fast" operations on set
code cleanup: role separation, let the run-time set maintain its own order instead of recording it in RUN_TIME_SET
a bit of code cleanup
Testing multiple remove_first in STRING
Merge /media/Liberty/Liberty
Merge remote-tracking branch 'upstream/master'
readded lost creation procedure name
fix excluded lists
fixed file sizes
log.ref
log.ref
better log.ref
pretty
prevent warnings and pretty - still not terminating
Merge branch 'master' of github.com:LibertyEiffel/Liberty
strange bug...
sgnature handling cleanup