equal
deleted
inserted
replaced
214 |
214 |
215 val thys = |
215 val thys = |
216 (for ((_, model) <- st.models.iterator if model.is_theory) |
216 (for ((_, model) <- st.models.iterator if model.is_theory) |
217 yield (model.node_name, Position.none)).toList |
217 yield (model.node_name, Position.none)).toList |
218 |
218 |
219 val thy_files = thy_info.dependencies(thys).names |
219 val thy_files = dependencies(thys).names |
220 |
220 |
221 |
221 |
222 /* auxiliary files */ |
222 /* auxiliary files */ |
223 |
223 |
224 val stable_tip_version = |
224 val stable_tip_version = |