History log of /seL4-l4v-10.1.1/isabelle/Admin/README
Revision Date Author Comments
# 14c57036 17-Aug-2012 wenzelm <none@none>

tuned;
# 4ea075cc 12-May-2010 wenzelm <none@none>

removed obsolete CVS Ids;
# b03813f4 17-Jul-2008 wenzelm <none@none>

tuned;
# 8a07ae7d 20-Feb-1997 wenzelm <none@none>

some administrative tools for the Isabelle;