History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/JEdit/document/root.tex
Revision Date Author Comments
# 09e95e92 12-Oct-2015 wenzelm <none@none>

obsolete;
# 3f1422a8 12-Oct-2015 wenzelm <none@none>

@{verbatim [display]} supersedes old alltt/ttbox;
# 50e6a752 23-May-2015 wenzelm <none@none>

prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
# 6d2b3587 13-Jun-2014 wenzelm <none@none>

more on "Completion";

--HG--
extra : rebase_source : fc5f813be48734f63e8be514c90cc847010d5101
# a7427af1 04-Jun-2014 wenzelm <none@none>

misc tuning and updates;

--HG--
extra : rebase_source : 83566eeaa455b03c75c3d25fe11e031e32f5d1b9
# dfc4e9c4 19-May-2014 wenzelm <none@none>

prefer T1 with searchable underscore (requires proper cm-super fonts);
# cd879264 31-Oct-2013 wenzelm <none@none>

more screenshots;
# 42ffbc76 09-Oct-2013 wenzelm <none@none>

tuned;
# 486bc685 21-Sep-2013 wenzelm <none@none>

more front-matter;
# ca8173c5 21-Sep-2013 wenzelm <none@none>

clarified logo;
# 9d2c1ae4 21-Sep-2013 wenzelm <none@none>

tuned;
# 7d1ac112 21-Sep-2013 wenzelm <none@none>

added/updated material from src/Tools/jEdit/README.html;
# f736ecb8 21-Sep-2013 wenzelm <none@none>

basic setup for Isabelle/jEdit documentation;