Thu, 28 Aug 2014 20:06:59 +0200 clarified docs
blanchet [Thu, 28 Aug 2014 20:06:59 +0200] rev 58090
clarified docs
Thu, 28 Aug 2014 20:05:39 +0200 gracefully reconstruct Isar proofs in scenarios such as 'using f unfolding g', where backticks can't be used to refer to the unfolded version of 'f' (for some reason)
blanchet [Thu, 28 Aug 2014 20:05:39 +0200] rev 58089
gracefully reconstruct Isar proofs in scenarios such as 'using f unfolding g', where backticks can't be used to refer to the unfolded version of 'f' (for some reason)
Thu, 28 Aug 2014 19:07:10 +0200 prefer '0.2 ms' to '249 \<mu>s'
blanchet [Thu, 28 Aug 2014 19:07:10 +0200] rev 58088
prefer '0.2 ms' to '249 \<mu>s'
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip