2008-12-20 wenzelm [Sat, 20 Dec 2008 11:55:34 +0100] rev 29145
removed Ids;
CONTRIBUTORS INSTALL NEWS build etc/proofgeneral-settings.el etc/settings etc/symbols etc/user-settings.sample lib/scripts/dimacs2hol.pl lib/scripts/feeder lib/scripts/feeder.pl lib/scripts/fileident lib/scripts/getsettings lib/scripts/keywords.pl lib/scripts/polyml-platform lib/scripts/polyml-version lib/scripts/run-mosml lib/scripts/run-polyml lib/scripts/run-polyml-4.1.3 lib/scripts/run-polyml-4.1.4 lib/scripts/run-polyml-4.2.0 lib/scripts/run-polyml-5.0 lib/scripts/run-smlnj lib/scripts/system.pl lib/scripts/timestart.bash lib/scripts/timestop.bash lib/scripts/unsymbolize.pl lib/scripts/yxml.pl lib/texinputs/draft.tex lib/texinputs/isabelle.sty lib/texinputs/isabellesym.sty lib/texinputs/pdfsetup.sty

2008-12-20 wenzelm [Sat, 20 Dec 2008 11:39:34 +0100] rev 29144
merged

2008-12-20 wenzelm [Sat, 20 Dec 2008 11:39:27 +0100] rev 29143
removed Ids;
lib/Tools/browser lib/Tools/codegen lib/Tools/dimacs2hol lib/Tools/display lib/Tools/doc lib/Tools/document lib/Tools/emacs lib/Tools/env lib/Tools/findlogics lib/Tools/getenv lib/Tools/install lib/Tools/java lib/Tools/jedit lib/Tools/keywords lib/Tools/latex lib/Tools/logo lib/Tools/make lib/Tools/makeall lib/Tools/mkdir lib/Tools/mkfifo lib/Tools/mkproject lib/Tools/print lib/Tools/rmfifo lib/Tools/scala lib/Tools/tty lib/Tools/unsymbolize lib/Tools/usedir lib/Tools/version lib/Tools/yxml

2008-12-19 huffman [Fri, 19 Dec 2008 16:16:10 -0800] rev 29142
merged.

2008-12-18 huffman [Thu, 18 Dec 2008 11:00:13 -0800] rev 29141
constdefs -> definition
src/HOLCF/Fixrec.thy src/HOLCF/One.thy

2008-12-19 wenzelm [Fri, 19 Dec 2008 20:37:29 +0100] rev 29140
removed Ids;
src/Pure/General/markup.scala src/Pure/General/position.scala src/Pure/General/symbol.scala src/Pure/General/xml.scala src/Pure/General/yxml.scala src/Pure/Isar/isar.scala src/Pure/Thy/thy_header.scala src/Pure/Tools/isabelle_process.scala src/Pure/Tools/isabelle_syntax.scala src/Pure/Tools/isabelle_system.scala

2008-12-18 huffman [Thu, 18 Dec 2008 09:30:36 -0800] rev 29139
merged.

2008-12-16 huffman [Tue, 16 Dec 2008 21:31:55 -0800] rev 29138
remove cvs Id tags
src/HOLCF/Adm.thy src/HOLCF/Algebraic.thy src/HOLCF/Bifinite.thy src/HOLCF/Cfun.thy src/HOLCF/CompactBasis.thy src/HOLCF/Completion.thy src/HOLCF/Cont.thy src/HOLCF/ConvexPD.thy src/HOLCF/Cprod.thy src/HOLCF/Deflation.thy src/HOLCF/Discrete.thy src/HOLCF/Domain.thy src/HOLCF/Ffun.thy src/HOLCF/Fix.thy src/HOLCF/Fixrec.thy src/HOLCF/HOLCF.thy src/HOLCF/Lift.thy src/HOLCF/LowerPD.thy src/HOLCF/One.thy src/HOLCF/Pcpo.thy src/HOLCF/Pcpodef.thy src/HOLCF/Porder.thy src/HOLCF/Sprod.thy src/HOLCF/Ssum.thy src/HOLCF/Tr.thy src/HOLCF/Universal.thy src/HOLCF/Up.thy src/HOLCF/UpperPD.thy

2008-12-17 wenzelm [Wed, 17 Dec 2008 14:40:04 +0100] rev 29137
merged

2008-12-17 wenzelm [Wed, 17 Dec 2008 14:39:38 +0100] rev 29136
basic setup for MacOS application bundle;
Admin/MacOS/README Admin/MacOS/isabelle.icns Admin/MacOS/mk Admin/MacOS/script Admin/MacOS/theory.icns