Wed, 22 Aug 2012 18:04:30 +0200 | wenzelm | find files via load commands within theory text; | changeset | files |
Wed, 22 Aug 2012 16:24:52 +0200 | wenzelm | clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself; | changeset | files |