equal
deleted
inserted
replaced
180 let |
180 let |
181 val symbols = HTML.make_symbols symbol_codes; |
181 val symbols = HTML.make_symbols symbol_codes; |
182 |
182 |
183 val _ = |
183 val _ = |
184 Resources.init_session_base |
184 Resources.init_session_base |
185 {default_qualifier = name, |
185 {global_theories = global_theories, |
186 global_theories = global_theories, |
|
187 loaded_theories = loaded_theories, |
186 loaded_theories = loaded_theories, |
188 known_theories = known_theories}; |
187 known_theories = known_theories}; |
189 |
188 |
190 val _ = |
189 val _ = |
191 Session.init |
190 Session.init |