Tree [0231f2] default Isabelle2013-2 /
 History

Read Only access


File Date Author Commit
 admin 2013-12-04 Lars Hupel Lars Hupel [3127a3] use Python's built-in OrderedDict (>= 2.7)
 doc 2013-12-04 kleing kleing [466eb6] mention UTF-8 for the metadata file
 etc 2013-01-16 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [9ad94b] merged from release branch
 metadata 2013-12-06 paulson paulson [cc3801] Fixed the name Benzmüller
 thys 2013-12-04 kleing kleing [848abf] include entry in AFP group
 tools 2013-01-16 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [9ad94b] merged from release branch
 web 2013-12-07 paulson paulson [0231f2] Fixing Benzmüller again
 .hgignore 2013-12-03 Lars Hupel Lars Hupel [1abd6a] use terminal colors to indicate errors/warnings
 .hgtags 2013-10-27 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [dce609] merged