search

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
https://w4eg.de/malvin/illc/smcdelweb
GNU General Public License v2.0
39 stars 9 forks source link

update MathJax #4

Closed m4lvin closed 7 years ago

m4lvin commented 8 years ago

The MathJax library used in smcdel-web needs an update.

This will also fix/remove vertical bars in Chrome.

m4lvin commented 7 years ago

Note: https://www.mathjax.org/cdn-shutting-down/

airobert commented 7 years ago

MathJax looks like a nice tool!