ROOT
2013-10-13 Christian Urban added slides
2013-04-01 Christian Urban added example for locales (by Tjark Weber)
2013-02-19 Christian Urban updated for 2013 release Nominal2-Isabelle2013
2012-08-28 Christian Urban added a nefangled ROOT file
2012-08-07 Christian Urban tuned
2012-08-06 Christian Urban added new ROOT session file
less more (0) tip