log

age author description
Thu, 18 Nov 2010 17:28:15 +0100 Thomas Wuerthinger Merge.
Thu, 18 Nov 2010 17:27:43 +0100 Thomas Wuerthinger Inlining of static final field values. Java mirror instead of VmID. Support for PrintMetrics option.
Tue, 16 Nov 2010 23:00:32 +0100 Doug Simon Synced CRI changes.