-
Alexandre Duret-Lutz authored
* wrap/python/ajax/spot.in: Diagnose attempt to use LaCIM or Tau on PSL formulae. * wrap/python/ajax/css/ltl2tgba.css (.ltl2tgba .error): New entry.
3d183d68
* wrap/python/ajax/spot.in: Diagnose attempt to use LaCIM or Tau on PSL formulae. * wrap/python/ajax/css/ltl2tgba.css (.ltl2tgba .error): New entry.