122 \alert{\textit{!~Grunds\"atzliches Problem f\"ur das Projekt ``SD''~!}} |
122 \alert{\textit{!~Grunds\"atzliches Problem f\"ur das Projekt ``SD''~!}} |
123 \end{itemize} |
123 \end{itemize} |
124 \end{frame} |
124 \end{frame} |
125 |
125 |
126 \subsection[Integration]{Isabelles Filestruktur im \"Ubergangsstadium} |
126 \subsection[Integration]{Isabelles Filestruktur im \"Ubergangsstadium} |
127 \begin{frame}\frametitle{Isabelle Files: *.jar} |
|
128 {\footnotesize |
|
129 ----- for ``isabelle jedit \&''; contained in Isabelle\_bundle}\\ |
|
130 {\tiny |
|
131 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jedit.jar\\ |
|
132 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/LatestVersion.jar\\ |
|
133 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/SideKick.jar\\ |
|
134 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Console.jar\\ |
|
135 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Pure.jar \alert{$\;\;\;\;\;\;\;\;\;\;\;\Longleftarrow$ entry to SML}\\ |
|
136 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isac.jar\\ |
|
137 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-compiler.jar\\ |
|
138 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar\\ |
|
139 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/cobra.jar\\ |
|
140 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/js.jar\\ |
|
141 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Hyperlinks.jar\\ |
|
142 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-swing.jar\\ |
|
143 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-library.jar\\ |
|
144 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/QuickNotepad.jar\\ |
|
145 ./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ErrorList.jar\\ |
|
146 |
|
147 {\footnotesize |
|
148 ----- scala system; contained in Isabelle\_bundle}\\ |
|
149 ./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar\\ |
|
150 ./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar\\ |
|
151 ./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar\\ |
|
152 ./contrib/scala-2.8.1.final/lib/scala-compiler.jar\\ |
|
153 ./contrib/scala-2.8.1.final/lib/scalap.jar\\ |
|
154 ./contrib/scala-2.8.1.final/lib/scala-swing.jar\\ |
|
155 ./contrib/scala-2.8.1.final/lib/scala-library.jar\\ |
|
156 ./contrib/scala-2.8.1.final/lib/jline.jar\\ |
|
157 ./contrib/scala-2.8.1.final/lib/scala-dbc.jar\\ |
|
158 ./contrib/scala-2.8.1.final/src/scala-library-src.jar\\ |
|
159 ./contrib/scala-2.8.1.final/src/scala-swing-src.jar\\ |
|
160 ./contrib/scala-2.8.1.final/src/scala-compiler-src.jar\\ |
|
161 ./contrib/scala-2.8.1.final/src/scala-dbc-src.jar\\ |
|
162 ./contrib/scala-2.8.1.final/src/sbaz-src.jar\\ |
|
163 } |
|
164 \end{frame} |
|
165 |
127 |
166 \begin{frame}\frametitle{Isabelle Files: *.scala} |
128 \begin{frame}\frametitle{Isabelle Files: *.scala} |
167 {\tiny |
129 {\tiny |
|
130 \textbf{\$ find -name ``*.scala''}\\ |
168 ./src/Pure/General/xml.scala\\ |
131 ./src/Pure/General/xml.scala\\ |
169 ./src/Pure/General/linear\_set.scala\\ |
132 ./src/Pure/General/linear\_set.scala\\ |
170 ./src/Pure/General/symbol.scala\\ |
133 %./src/Pure/General/symbol.scala\\ |
171 ./src/Pure/General/exn.scala\\ |
134 %./src/Pure/General/exn.scala\\ |
172 ./src/Pure/General/position.scala\\ |
135 %./src/Pure/General/position.scala\\ |
173 ./src/Pure/General/scan.scala\\ |
136 %./src/Pure/General/scan.scala\\ |
174 ./src/Pure/General/xml\_data.scala\\ |
137 %./src/Pure/General/xml\_data.scala\\ |
175 ./src/Pure/General/yxml.scala\\ |
138 %./src/Pure/General/yxml.scala\\ |
176 ./src/Pure/General/markup.scala\\ |
139 %./src/Pure/General/markup.scala\\ |
177 ./src/Pure/General/sha1.scala\\ |
140 :\\ |
|
141 %./src/Pure/General/sha1.scala\\ |
178 ./src/Pure/General/timing.scala\\ |
142 ./src/Pure/General/timing.scala\\ |
179 ./src/Pure/General/pretty.scala\\ |
143 ./src/Pure/General/pretty.scala\\ |
180 .\\ |
144 .\\ |
181 ./src/Pure/Concurrent/volatile.scala\\ |
145 ./src/Pure/Concurrent/volatile.scala\\ |
182 ./src/Pure/Concurrent/future.scala\\ |
146 ./src/Pure/Concurrent/future.scala\\ |
194 ./src/Pure/Isar/token.scala\\ |
158 ./src/Pure/Isar/token.scala\\ |
195 ./src/Pure/Isar/parse.scala\\ |
159 ./src/Pure/Isar/parse.scala\\ |
196 .\\ |
160 .\\ |
197 ./src/Pure/System/gui\_setup.scala\\ |
161 ./src/Pure/System/gui\_setup.scala\\ |
198 ./src/Pure/System/isabelle\_system.scala\\ |
162 ./src/Pure/System/isabelle\_system.scala\\ |
199 ./src/Pure/System/swing\_thread.scala\\ |
163 %./src/Pure/System/swing\_thread.scala\\ |
200 ./src/Pure/System/download.scala\\ |
164 %./src/Pure/System/download.scala\\ |
201 ./src/Pure/System/session\_manager.scala\\ |
165 %./src/Pure/System/session\_manager.scala\\ |
202 ./src/Pure/System/standard\_system.scala\\ |
166 %./src/Pure/System/standard\_system.scala\\ |
203 ./src/Pure/System/isabelle\_syntax.scala\\ |
167 %./src/Pure/System/isabelle\_syntax.scala\\ |
204 ./src/Pure/System/session.scala\\ |
168 %./src/Pure/System/session.scala\\ |
205 ./src/Pure/System/platform.scala\\ |
169 %./src/Pure/System/platform.scala\\ |
206 ./src/Pure/System/cygwin.scala\\ |
170 %./src/Pure/System/cygwin.scala\\ |
|
171 :\\ |
207 ./src/Pure/System/event\_bus.scala\\ |
172 ./src/Pure/System/event\_bus.scala\\ |
208 ./src/Pure/System/isabelle\_process.scala\\ |
173 ./src/Pure/System/isabelle\_process.scala\\ |
209 .\\ |
174 .\\ |
210 ./src/Pure/PIDE/document.scala\\ |
175 ./src/Pure/PIDE/document.scala\\ |
211 ./src/Pure/PIDE/markup\_tree.scala\\ |
176 ./src/Pure/PIDE/markup\_tree.scala\\ |
353 %\pause |
318 %\pause |
354 %\item Neue Ordnerstruktur in bestehende Isabelle-Ordner-Hierachie integrieren |
319 %\item Neue Ordnerstruktur in bestehende Isabelle-Ordner-Hierachie integrieren |
355 \end{itemize} |
320 \end{itemize} |
356 \end{frame} |
321 \end{frame} |
357 |
322 |
|
323 \begin{frame}\frametitle{Sources des jEdit Plugins} |
|
324 {\tiny |
|
325 src/Tools/jEditC\textbf{\$ ls -l *}\\ |
|
326 build.xml\\ |
|
327 %makedist\\ |
|
328 %manifest.mf\\ |
|
329 %README\_BUILD\\ |
|
330 \textbf{build/*}\\ |
|
331 \textbf{contrib/*}\\ |
|
332 \textbf{dist/*}\\ |
|
333 \textbf{plugin/}build.xml\\ |
|
334 \textbf{plugin/}changes40.txt\\ |
|
335 \textbf{plugin/}changes42.txt\\ |
|
336 \textbf{plugin/}description.html\\ |
|
337 \textbf{plugin/}IsacActions.java\\ |
|
338 \textbf{plugin/}Isac.iml\\ |
|
339 \textbf{plugin/}Isac.java\\ |
|
340 \textbf{plugin/}IsacOptionPane.java\\ |
|
341 \textbf{plugin/}IsacPlugin.java\\ |
|
342 \textbf{plugin/}IsacTextArea.java\\ |
|
343 \textbf{plugin/}IsacToolPanel.java\\ |
|
344 \textbf{plugin/}plugin\\ |
|
345 \textbf{plugin/}README.txt\\ |
|
346 \textbf{nbproject/*}\\ |
|
347 \textbf{src/}actions.xml\\ |
|
348 \textbf{src/}changes40.txt\\ |
|
349 \textbf{src/}changes42.txt\\ |
|
350 \textbf{src/}description.html\\ |
|
351 \textbf{src/}dockables.xml\\ |
|
352 \textbf{src/}IsacActions.scala\\ |
|
353 \textbf{src/}Isac.iml\\ |
|
354 \textbf{src/}IsacOptionPane.scala\\ |
|
355 \textbf{src/}IsacPlugin.scala\\ |
|
356 \textbf{src/}Isac.props\\ |
|
357 \textbf{src/}Isac.scala\\ |
|
358 \textbf{src/}IsacTextArea.scala\\ |
|
359 \textbf{src/}IsacToolPanel.scala\\ |
|
360 \textbf{src/}manifest.mf\\ |
|
361 \textbf{src/}README.txt\\ |
|
362 \textbf{src/}users-guide.xml |
|
363 } |
|
364 \end{frame} |
|
365 |
358 \begin{frame}\frametitle{Anforderungen an das Versuchs-Plugin} |
366 \begin{frame}\frametitle{Anforderungen an das Versuchs-Plugin} |
359 Folgende Funktionalit\"at wurde zu Testzwecken umgesetzt: |
367 Folgende Funktionalit\"at wurde zu Testzwecken umgesetzt: |
360 \pause |
368 \pause |
361 \begin{itemize} |
369 \begin{itemize} |
362 \item Grunds\"atzlicher Aufbau eines GUIs |
370 \item Grunds\"atzlicher Aufbau eines GUIs |