0000000000000000000000000000000000000000 908bf8819e8129aa2cb2ebd96c433733d8dbee76 Gabriel <g.lopes@robotcaresystems.com> 1537443017 +0200	branch: Created from HEAD
908bf8819e8129aa2cb2ebd96c433733d8dbee76 22a5a99f7e37e477d25059c7f844c71d9dba24ed Gabriel <g.lopes@robotcaresystems.com> 1537445976 +0200	commit: more types in html
22a5a99f7e37e477d25059c7f844c71d9dba24ed 7a3dacee76adab581d3e1bd2fceba5d18079d066 Gabriel <g.lopes@robotcaresystems.com> 1537455134 +0200	commit: temporal logic working
7a3dacee76adab581d3e1bd2fceba5d18079d066 677a199ba9524424bf789cd5a222135156ee04c9 Gabriel <g.lopes@robotcaresystems.com> 1537524270 +0200	commit: work in progress
677a199ba9524424bf789cd5a222135156ee04c9 3a1299ad55025fe1857b5541c454c76e0d07dbf4 Gabriel <g.lopes@robotcaresystems.com> 1537780078 +0200	commit: gui working
