Tags

Tags give the ability to mark specific points in history as being important

v0.10.5

0b635d1b · Update README.md · Jan 05, 2021

Release: InteKRator0.10.5
v0.10.3

2c3fd036 · Increased version number. · Jan 04, 2021

Release: InteKRator0.10.3
v0.7.1

d7915624 · Merge branch 'master' of gitlab.com:dapel1/intekrator_toolbox · Nov 23, 2020

Release: InteKRator0.7.1
v0.5.3

cab39401 · Increased version number. · Oct 31, 2020

Release: InteKRator0.5.3
v0.5.2

25efef1a · Increased version number. · Oct 05, 2020

Release: InteKRator0.5.2
v0.4.0

6cfd2b18 · Update README.md · Sep 25, 2020

Release: InteKRator0.4.0
v0.3.2

01e960e8 · Bug fix: Unknown parameters are now recognized and lead to an error message... · Sep 24, 2020

Release: InteKRator0.3.2
v0.2.1

ebdc4b38 · Corrected typo in warning for non-deterministic state-action sequences. · Sep 22, 2020

Release: InteKRator0.2.1
v.0.1.0

b4d9de44 · Merge branch 'master' of gitlab.com:dapel1/intekrator_toolbox · Sep 17, 2020

Release: InteKRator0.1.0