Thu, 25 Jun 2009 07:34:12 +0200 | nipkow | Cleaned up GCD | changeset | files |
Thu, 25 Jun 2009 13:25:35 +0200 | wenzelm | renamed IsabelleProcess to Isabelle_Process; | changeset | files |
Thu, 25 Jun 2009 13:24:45 +0200 | wenzelm | renamed IsabelleSystem to Isabelle_System; | changeset | files |
Wed, 24 Jun 2009 21:46:54 +0200 | wenzelm | standard naming conventions for session and theories; | changeset | files |
Wed, 24 Jun 2009 21:28:02 +0200 | wenzelm | renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); | changeset | files |
Wed, 24 Jun 2009 20:52:49 +0200 | wenzelm | proper ML interface set_full_types; | changeset | files |