Tweaked environements
Ignoring .thm files