tree 34edae2151bd7af00d51028815e1151531d86cc0
parent 41ddfcc279b6377476801d6f13d1e5307decd83a
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1289207281 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1289207281 +0000

admit bytecode versions OT-1.6.x (from OTDT 0.8.x).