2017-02-07 Christian Urban test
2017-02-06 Christian Urban updated
2016-12-19 Christian Urban updated
2016-12-09 Christian Urban updated
2016-12-09 Christian Urban updated
2016-10-21 Christian Urban updated
2016-10-07 Christian Urban updated
2016-10-07 Christian Urban updated
2016-10-02 Christian Urban updated
2016-08-24 Christian Urban updated
2016-08-16 Christian Urban updated tG definition
2016-07-12 Christian Urban updated paper
2016-07-08 Christian Urban updated
2016-07-07 Christian Urban updated
2016-07-04 Christian Urban added version with fgraphs
2016-06-27 Christian Urban unified Rtree.
2016-06-17 Christian Urban updated
2016-06-14 Christian Urban removed some files to attic
2016-06-14 Christian Urban removed most instances of raw
2016-06-09 Christian Urban updated
2016-06-07 Christian Urban minor update
2016-06-02 Christian Urban updated
2016-04-15 Christian Urban updated journal paper
2016-04-15 Christian Urban added style files.
2016-03-21 Christian Urban all updated to Isabelle 2016
2016-03-21 Christian Urban added ? to PIPBasics
2016-03-21 Christian Urban updated to Isabelle 2016
2016-03-21 Christian Urban updated partially
2016-03-21 Christian Urban updated to Isabelle 2016
2016-02-13 zhangx Slight changes in commenting.
(0) -100 -50 -30 +30 +50 tip