log

age author description
Wed, 08 Jun 2011 15:43:43 +0200 Gilles Duboscq Merge
Wed, 08 Jun 2011 15:43:11 +0200 Gilles Duboscq Fix on canonicalization plus canonicalization of shifts and integer arithmetics
Wed, 08 Jun 2011 15:36:30 +0200 Peter Hofer IdealGraphVisualizer: merge changes from the IGV project on Kenai and add Oracle copyright notices where necessary
Wed, 08 Jun 2011 14:50:55 +0200 Thomas Wuerthinger Removed PDF from mercurial repo.
Wed, 08 Jun 2011 14:50:07 +0200 Thomas Wuerthinger Small fix to design document.
Wed, 08 Jun 2011 14:17:19 +0200 Thomas Wuerthinger Schedule now inherits Phase.
Wed, 08 Jun 2011 14:10:06 +0200 Thomas Wuerthinger Merge.