Mon, 05 May 2014 17:14:46 +0200 | wenzelm | clarified print operations for "terms" and "theorems"; | file | diff | annotate |
Mon, 05 May 2014 16:30:19 +0200 | wenzelm | more print operations; | file | diff | annotate |
Mon, 05 May 2014 15:17:07 +0200 | wenzelm | support print operations as asynchronous query; | file | diff | annotate |