| Sat, 22 Aug 2009 22:31:00 +0200 | wenzelm | less ambitious array operations -- for improved compatibility with older versions of bash; | changeset | files |
| Sat, 22 Aug 2009 17:08:06 +0200 | wenzelm | function splitarray: splightly more abstract version that accomodates older bashes; | changeset | files |
| Fri, 21 Aug 2009 19:06:12 +0200 | krauss | fix IsaMakefile, removing mirabelle (not in HOL/ex/ROOT.ML anyway) | changeset | files |
| Fri, 21 Aug 2009 13:38:57 +0200 | boehmes | added Mirabelle to NEWS | changeset | files |
| Fri, 21 Aug 2009 13:25:05 +0200 | boehmes | merged | changeset | files |
| Fri, 21 Aug 2009 13:23:53 +0200 | boehmes | disabled refute action (needs changes in the code of refute) | changeset | files |
| Fri, 21 Aug 2009 13:21:19 +0200 | boehmes | split actions from Mirabelle core (Mirabelle may thus be applied to basic theories in HOL) | changeset | files |
| Fri, 21 Aug 2009 09:49:10 +0200 | boehmes | moved Mirabelle to HOL/Tools | changeset | files |