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

updated old screenshots, added new screenshots;
# b4e7bd63 30-Apr-2015 wenzelm <none@none>

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

updated screenshots;

--HG--
extra : rebase_source : 6870775642fd3dc1b2d2c8d2348ce5bbc5f9b340
# 40817214 12-Oct-2013 wenzelm <none@none>

more screenshots;
tuned;