src/Pure/PIDE/command.ML
Wed, 04 Apr 2012 14:19:47 +0200 wenzelm separate module for prover command execution;
less more (0) tip