| Mon, 16 Apr 2012 17:22:51 +0200 | Christian Sternagel | duplicate "relpow" facts for "relpowp" (to emphasize that both worlds exist and obtain better search results with "find_theorems") | changeset | files |
| Mon, 16 Apr 2012 17:20:32 +0200 | wenzelm | updated for release; | changeset | files |
| Mon, 16 Apr 2012 15:09:47 +0200 | wenzelm | more precise handling of java failure, due to missing ISABELLE_JDK_HOME; | changeset | files |