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