Inspections

7.3.5 release

master . 694bc0...ddad22 . push triggered

  Tests failed.
01:33
created
Ready for 7.3.3 release

master . d879e9...694bc0 . push triggered

  No notable changes.
02:22
created
7.3.2

master . 9b9445...d879e9 . push triggered

  No notable changes.
08:04
created
bug fixed

master . b68b39...9b9445 . push triggered

  No notable changes.
02:11
created
7.3.1 rc

master . f68921...b68b39 . push triggered

  Tests failed. No notable changes.
02:40
created
refined

master . 484d2d...f68921 . push triggered

  Tests failed. No notable changes.
01:52
created
bug fixed

master . d79195...484d2d . push triggered

  Tests failed. No notable changes.
01:28
created
bug fixed

master . 1d9659...d79195 . push triggered

  Tests failed. No notable changes.
01:25
created
Bug fixed

master . 971809...1d9659 . push triggered

  No notable changes.
01:59
created
Ready for 7.3.0

master . c249d5...971809 . push triggered

  No notable changes.
01:48
created
bug fixed

master . 6f97b8...c249d5 . push triggered

  Tests failed. No notable changes.
01:49
created
bug fixed

master . 16ebaa...6f97b8 . push triggered

  1 fixed issue found.
01:49
created
added silent option

master . 52cb36...16ebaa . push triggered

  1 new issue found.
01:46
created
bug fixed

master . e81cd1...52cb36 . push triggered

  No notable changes.
01:27
created
bug fixed

master . 2f9565...e81cd1 . push triggered

  No notable changes.
01:34
created
bug fixed

master . 603e37...2f9565 . push triggered

  No notable changes.
07:00
created
added some axioms and kees data

master . 23746f...603e37 . push triggered

  No notable changes.
04:05
created
doc fixed

master . 4b2cae...23746f . push triggered

  No notable changes.
01:43
created
Fix formatting errors

master . 8adfd4...4b2cae . push triggered

  No notable changes.
01:35
created
doc improvements

master . f80f6e...8adfd4 . push triggered

  No notable changes.
01:56
created