2012-04-22 wenzelm [Sun, 22 Apr 2012 15:19:46 +0200] rev 47662
updated Isabelle.exe specification, assuming layout of bundle;
Admin/launch4j/isabelle.xml

2012-04-22 wenzelm [Sun, 22 Apr 2012 14:30:18 +0200] rev 47661
USER_HOME settings variable points to cross-platform user home directory;
NEWS doc-src/IsarRef/Thy/Misc.thy doc-src/IsarRef/Thy/document/Misc.tex doc-src/System/Thy/Basics.thy doc-src/System/Thy/document/Basics.tex etc/settings lib/scripts/getsettings src/Pure/General/path.ML src/Pure/General/path.scala src/Pure/System/isabelle_system.scala

2012-04-22 huffman [Sun, 22 Apr 2012 11:05:04 +0200] rev 47660
new example theory for quotient/transfer
src/HOL/IsaMakefile src/HOL/Library/Quotient_List.thy src/HOL/Library/Quotient_Set.thy src/HOL/Quotient_Examples/Lift_FSet.thy src/HOL/Quotient_Examples/ROOT.ML src/HOL/Transfer.thy

2012-04-21 huffman [Sat, 21 Apr 2012 21:38:08 +0200] rev 47659
update NEWS for transfer/quotient
NEWS

2012-04-21 huffman [Sat, 21 Apr 2012 20:52:33 +0200] rev 47658
enable variant of transfer method that proves an implication instead of an equivalence
src/HOL/Tools/transfer.ML src/HOL/Transfer.thy

2012-04-19 haftmann [Thu, 19 Apr 2012 19:36:24 +0200] rev 47657
moved modules with only vague relation to the code generator to theory HOL rather than theory Code_Generator
src/HOL/HOL.thy src/Tools/Code_Generator.thy

2012-04-21 wenzelm [Sat, 21 Apr 2012 15:26:05 +0200] rev 47656
merged

2012-04-21 huffman [Sat, 21 Apr 2012 13:54:29 +0200] rev 47655
NEWS for transfer, lifting, and quotient
NEWS

2012-04-21 huffman [Sat, 21 Apr 2012 13:49:31 +0200] rev 47654
new example theory for transfer package
src/HOL/IsaMakefile src/HOL/ex/ROOT.ML src/HOL/ex/Transfer_Int_Nat.thy

2012-04-21 wenzelm [Sat, 21 Apr 2012 14:53:04 +0200] rev 47653
some builtin session timing;
src/Pure/General/timing.scala src/Pure/System/session.scala