Open dynamobi-build opened 12 years ago
[reporter="jvs", created="Mon, 1 May 2006 18:13:07 -0500 (GMT-05:00)"]
[author="jvs", created="Wed, 24 May 2006 11:08:46 -0500 (GMT-05:00)"] Making Hep the default is already done. The rest is a research project: http://wiki.eigenbase.org/FarragoPlannerProofs
[reporter="jvs", created="Mon, 1 May 2006 18:13:07 -0500 (GMT-05:00)"]