-0.95.1 - 17/11/2011 - alpha version for the 1.x series
+0.99.1 - 17/11/2011 - alpha version for the 1.x series
* old kernel, unification, etc. removed
* new compact syntax for tactics
* improved automation
* experimental multi tabbed interface
+ * John Major equality and the computation version of the K axiom are
+ now in the standard library
+ * generation of inversion/destruct principles using either
+ Leibniz or John Major equalities
* several bug fixes
0.5.7 - 15/02/2009 - PĂ doa release