Thu, 17 Apr 2014 13:21:36 +0200 | wenzelm | added protocol command "use_theories", with core functionality of batch build; | file | diff | annotate |
Sat, 12 Apr 2014 17:46:54 +0200 | wenzelm | markup for prose words within formal comments; | file | diff | annotate |