src/Pure/PIDE/markup.scala
Thu, 17 Apr 2014 13:21:36 +0200 wenzelm added protocol command "use_theories", with core functionality of batch build;
Sat, 12 Apr 2014 17:46:54 +0200 wenzelm markup for prose words within formal comments;
less more (0) -30 -10 -2 tip