isabelle: Changelog

nipkow [Sun, 23 Oct 2011 14:03:37 +0200] rev 45255

tuned

kleing [Sun, 23 Oct 2011 17:37:21 +1100] rev 45254

script for exporting filtered IMP files as tar.gz

kleing [Sun, 23 Oct 2011 17:12:14 +1100] rev 45253

removed Norbert's email from isatest (bounces)

wenzelm [Sat, 22 Oct 2011 23:43:01 +0200] rev 45252

class Lexicon as abstract datatype;

wenzelm [Sat, 22 Oct 2011 23:30:02 +0200] rev 45251

more private stuff;

wenzelm [Sat, 22 Oct 2011 23:29:44 +0200] rev 45250

class Text.Edit as abstract datatype;

wenzelm [Sat, 22 Oct 2011 23:29:11 +0200] rev 45249

class Time as abstract datatype;

wenzelm [Sat, 22 Oct 2011 23:28:24 +0200] rev 45248

class Volatile as abstract datatype;

nipkow [Sat, 22 Oct 2011 20:18:01 +0200] rev 45247

merged

nipkow [Sat, 22 Oct 2011 20:17:50 +0200] rev 45246

added isaverbatimwrite that allows to cut out snippets of thy files in their latex form and dump them in a file

isabelle