16 val sessions_structure: Sessions.Structure, |
16 val sessions_structure: Sessions.Structure, |
17 val session_base: Sessions.Base, |
17 val session_base: Sessions.Base, |
18 val log: Logger = No_Logger) |
18 val log: Logger = No_Logger) |
19 { |
19 { |
20 resources => |
20 resources => |
|
21 |
|
22 |
|
23 /* init session */ |
|
24 |
|
25 def init_session_yxml: String = |
|
26 { |
|
27 import XML.Encode._ |
|
28 |
|
29 YXML.string_of_body( |
|
30 pair(list(pair(string, int)), |
|
31 pair(list(pair(string, properties)), |
|
32 pair(list(pair(string, string)), |
|
33 pair(list(pair(string, string)), |
|
34 pair(list(pair(string, list(string))), |
|
35 pair(list(string), |
|
36 pair(list(pair(string, string)), list(string))))))))( |
|
37 (Symbol.codes, |
|
38 (resources.sessions_structure.session_positions, |
|
39 (resources.sessions_structure.dest_session_directories, |
|
40 (resources.sessions_structure.session_chapters, |
|
41 (resources.sessions_structure.bibtex_entries, |
|
42 (resources.session_base.doc_names, |
|
43 (resources.session_base.global_theories.toList, |
|
44 resources.session_base.loaded_theories.keys))))))))) |
|
45 } |
21 |
46 |
22 |
47 |
23 /* file formats */ |
48 /* file formats */ |
24 |
49 |
25 def make_theory_name(name: Document.Node.Name): Option[Document.Node.Name] = |
50 def make_theory_name(name: Document.Node.Name): Option[Document.Node.Name] = |