-
François Bobot authored
The smoke detector try to detect when a goal is proved because the context is self contradicting. The way it is configured in session is not very pretty.
eafe468e
The smoke detector try to detect when a goal is proved because the context is self contradicting. The way it is configured in session is not very pretty.