2009-02-14 added Isar/VM mode transition diagram;
wenzelm [Sat, 14 Feb 2009 22:58:30 +0100] rev 29738
added Isar/VM mode transition diagram;
2009-02-14 replaced 'assm' by 'assume' -- regular 'assume' is default, if inference is omitted;
wenzelm [Sat, 14 Feb 2009 21:37:04 +0100] rev 29737
replaced 'assm' by 'assume' -- regular 'assume' is default, if inference is omitted; tuned;
2009-02-14 clean_string/clean_name: proper treatment of \<dash>;
wenzelm [Sat, 14 Feb 2009 21:34:12 +0100] rev 29736
clean_string/clean_name: proper treatment of \<dash>;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip