History log of /seL4-l4v-10.1.1/isabelle/src/Doc/JEdit/document/query.png
Revision Date Author Comments
# e6603a15 12-Jan-2016 wenzelm <none@none>

updated old screenshots, added new screenshots;
# 50ba12b8 01-May-2015 wenzelm <none@none>

updated screenshot;
# b4e7bd63 30-Apr-2015 wenzelm <none@none>

updated screenshots;
# aeec33a6 05-Jun-2014 wenzelm <none@none>

updated screenshots;

--HG--
extra : rebase_source : 6870775642fd3dc1b2d2c8d2348ce5bbc5f9b340