# HG changeset patch
# User wenzelm
# Date 1340615271 -7200
# Node ID 9fe0e71052a0662b86810f100f0399d3a9189077
# Parent  55c305e29f4bca7e2ca1699d7493555d0eb483af
updated "isar-ref" manual, reduced remaining material in "ref" manual.

diff -r 55c305e29f4b -r 9fe0e71052a0 NEWS
--- a/NEWS	Wed Jun 20 21:18:35 2012 +0200
+++ b/NEWS	Mon Jun 25 11:07:51 2012 +0200
@@ -9,6 +9,9 @@
 * Discontinued obsolete method fastsimp / tactic fast_simp_tac, which
 is called fastforce / fast_force_tac already since Isabelle2011-1.
 
+* Updated and extended "isar-ref" manual, reduced remaining material
+in old "ref" manual.
+
 
 *** System ***
 
@@ -37,6 +40,8 @@
 
   - Rationalized type encodings ("type_enc" option).
 
+
+
 New in Isabelle2012 (May 2012)
 ------------------------------