Историја ревизија

Аутор SHA1 Порука Датум
  Samuel Thibault e86c90f01b model-checking: add missing showfailed etc. rules пре 5 година
  Samuel Thibault 3545b070de Move model-checking rules to its own Makefile пре 5 година