123 \alert{\textit{!~Grunds\"atzliches Problem f\"ur das Projekt ``SD''~!}} |
123 \alert{\textit{!~Grunds\"atzliches Problem f\"ur das Projekt ``SD''~!}} |
124 \end{itemize} |
124 \end{itemize} |
125 \end{frame} |
125 \end{frame} |
126 |
126 |
127 \subsection[Integration]{Isabelles Filestruktur im \"Ubergangsstadium} |
127 \subsection[Integration]{Isabelles Filestruktur im \"Ubergangsstadium} |
128 <<<<<<< local |
128 |
129 <<<<<<< local |
129 |
130 <<<<<<< local |
|
131 ======= |
|
132 >>>>>>> other |
|
133 ======= |
|
134 >>>>>>> other |
|
135 |
|
136 <<<<<<< local |
|
137 <<<<<<< local |
|
138 ======= |
|
139 >>>>>>> other |
|
140 ======= |
|
141 >>>>>>> other |
|
142 ======= |
|
143 >>>>>>> other |
|
144 |
|
145 <<<<<<< local |
|
146 <<<<<<< local |
|
147 <<<<<<< local |
|
148 ======= |
|
149 >>>>>>> other |
|
150 ======= |
|
151 >>>>>>> other |
|
152 %\begin{frame}\frametitle{Isabelle Files: *.jar} |
|
153 %{\footnotesize |
|
154 %----- for ``isabelle jedit \&''; contained in Isabelle\_bundle}\\ |
|
155 %{\tiny |
|
156 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jedit.jar\\ |
|
157 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/LatestVersion.jar\\ |
|
158 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/SideKick.jar\\ |
|
159 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Console.jar\\ |
|
160 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Pure.jar \alert{$\;\;\;\;\;\;\;\;\;\;\;\Longleftarrow$ entry to SML}\\ |
|
161 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isac.jar\\ |
|
162 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-compiler.jar\\ |
|
163 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar\\ |
|
164 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/cobra.jar\\ |
|
165 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/js.jar\\ |
|
166 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Hyperlinks.jar\\ |
|
167 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-swing.jar\\ |
|
168 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-library.jar\\ |
|
169 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/QuickNotepad.jar\\ |
|
170 %./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ErrorList.jar\\ |
|
171 % |
|
172 %{\footnotesize |
|
173 %----- scala system; contained in Isabelle\_bundle}\\ |
|
174 %./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar\\ |
|
175 %./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar\\ |
|
176 %./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar\\ |
|
177 %./contrib/scala-2.8.1.final/lib/scala-compiler.jar\\ |
|
178 %./contrib/scala-2.8.1.final/lib/scalap.jar\\ |
|
179 %./contrib/scala-2.8.1.final/lib/scala-swing.jar\\ |
|
180 %./contrib/scala-2.8.1.final/lib/scala-library.jar\\ |
|
181 %./contrib/scala-2.8.1.final/lib/jline.jar\\ |
|
182 %./contrib/scala-2.8.1.final/lib/scala-dbc.jar\\ |
|
183 %./contrib/scala-2.8.1.final/src/scala-library-src.jar\\ |
|
184 %./contrib/scala-2.8.1.final/src/scala-swing-src.jar\\ |
|
185 %./contrib/scala-2.8.1.final/src/scala-compiler-src.jar\\ |
|
186 %./contrib/scala-2.8.1.final/src/scala-dbc-src.jar\\ |
|
187 %./contrib/scala-2.8.1.final/src/sbaz-src.jar\\ |
|
188 %} |
|
189 %\end{frame} |
|
190 % |
|
191 %\begin{frame}\frametitle{Isabelle Files: *.scala} |
|
192 %{\tiny |
|
193 %./src/Pure/General/xml.scala\\ |
|
194 %./src/Pure/General/linear\_set.scala\\ |
|
195 <<<<<<< local |
|
196 <<<<<<< local |
|
197 ======= |
|
198 >>>>>>> other |
|
199 ======= |
|
200 \begin{frame}\frametitle{Isabelle Files: *.scala} |
130 \begin{frame}\frametitle{Isabelle Files: *.scala} |
201 {\tiny |
131 {\tiny |
202 \textbf{\$ find -name ``*.scala''}\\ |
132 \textbf{\$ find -name ``*.scala''}\\ |
203 ./src/Pure/General/xml.scala\\ |
133 ./src/Pure/General/xml.scala\\ |
204 ./src/Pure/General/linear\_set.scala\\ |
134 ./src/Pure/General/linear\_set.scala\\ |
205 >>>>>>> other |
135 |
206 <<<<<<< local |
136 ./src/Pure/General/symbol.scala\\ |
207 ======= |
137 ./src/Pure/General/exn.scala\\ |
208 >>>>>>> other |
138 ./src/Pure/General/position.scala\\ |
209 ======= |
139 ./src/Pure/General/scan.scala\\ |
210 >>>>>>> other |
140 ./src/Pure/General/xml\_data.scala\\ |
211 %./src/Pure/General/symbol.scala\\ |
141 ./src/Pure/General/yxml.scala\\ |
212 %./src/Pure/General/exn.scala\\ |
142 ./src/Pure/General/markup.scala\\ |
213 %./src/Pure/General/position.scala\\ |
|
214 %./src/Pure/General/scan.scala\\ |
|
215 %./src/Pure/General/xml\_data.scala\\ |
|
216 %./src/Pure/General/yxml.scala\\ |
|
217 %./src/Pure/General/markup.scala\\ |
|
218 <<<<<<< local |
|
219 <<<<<<< local |
|
220 ======= |
|
221 >>>>>>> other |
|
222 <<<<<<< local |
|
223 ======= |
|
224 :\\ |
143 :\\ |
225 >>>>>>> other |
144 ./src/Pure/General/sha1.scala\\ |
226 <<<<<<< local |
|
227 ======= |
|
228 >>>>>>> other |
|
229 ======= |
|
230 >>>>>>> other |
|
231 %./src/Pure/General/sha1.scala\\ |
|
232 <<<<<<< local |
|
233 <<<<<<< local |
|
234 <<<<<<< local |
|
235 ======= |
|
236 >>>>>>> other |
|
237 ======= |
|
238 >>>>>>> other |
|
239 %./src/Pure/General/timing.scala\\ |
|
240 %./src/Pure/General/pretty.scala\\ |
|
241 %.\\ |
|
242 %./src/Pure/Concurrent/volatile.scala\\ |
|
243 %./src/Pure/Concurrent/future.scala\\ |
|
244 %./src/Pure/Concurrent/simple\_thread.scala\\ |
|
245 %.\\ |
|
246 %./src/Pure/Thy/html.scala\\ |
|
247 %./src/Pure/Thy/completion.scala\\ |
|
248 %./src/Pure/Thy/thy\_header.scala\\ |
|
249 %./src/Pure/Thy/thy\_syntax.scala\\ |
|
250 %./src/Pure/Isac/isac.scala\\ |
|
251 %./src/Pure/library.scala\\ |
|
252 %.\\ |
|
253 %./src/Pure/Isar/keyword.scala\\ |
|
254 %./src/Pure/Isar/outer\_syntax.scala\\ |
|
255 %./src/Pure/Isar/token.scala\\ |
|
256 %./src/Pure/Isar/parse.scala\\ |
|
257 %.\\ |
|
258 %./src/Pure/System/gui\_setup.scala\\ |
|
259 %./src/Pure/System/isabelle\_system.scala\\ |
|
260 <<<<<<< local |
|
261 <<<<<<< local |
|
262 ======= |
|
263 >>>>>>> other |
|
264 ======= |
|
265 ./src/Pure/General/timing.scala\\ |
145 ./src/Pure/General/timing.scala\\ |
266 ./src/Pure/General/pretty.scala\\ |
146 ./src/Pure/General/pretty.scala\\ |
267 .\\ |
147 .\\ |
268 ./src/Pure/Concurrent/volatile.scala\\ |
148 ./src/Pure/Concurrent/volatile.scala\\ |
269 ./src/Pure/Concurrent/future.scala\\ |
149 ./src/Pure/Concurrent/future.scala\\ |
281 ./src/Pure/Isar/token.scala\\ |
161 ./src/Pure/Isar/token.scala\\ |
282 ./src/Pure/Isar/parse.scala\\ |
162 ./src/Pure/Isar/parse.scala\\ |
283 .\\ |
163 .\\ |
284 ./src/Pure/System/gui\_setup.scala\\ |
164 ./src/Pure/System/gui\_setup.scala\\ |
285 ./src/Pure/System/isabelle\_system.scala\\ |
165 ./src/Pure/System/isabelle\_system.scala\\ |
286 >>>>>>> other |
166 ./src/Pure/General/timing.scala\\ |
287 <<<<<<< local |
167 ./src/Pure/General/pretty.scala\\ |
288 ======= |
168 .\\ |
289 >>>>>>> other |
169 ./src/Pure/Concurrent/volatile.scala\\ |
290 ======= |
170 ./src/Pure/Concurrent/future.scala\\ |
291 >>>>>>> other |
171 ./src/Pure/Concurrent/simple\_thread.scala\\ |
292 %./src/Pure/System/swing\_thread.scala\\ |
172 .\\ |
293 %./src/Pure/System/download.scala\\ |
173 ./src/Pure/Thy/html.scala\\ |
294 %./src/Pure/System/session\_manager.scala\\ |
174 ./src/Pure/Thy/completion.scala\\ |
295 %./src/Pure/System/standard\_system.scala\\ |
175 ./src/Pure/Thy/thy\_header.scala\\ |
296 %./src/Pure/System/isabelle\_syntax.scala\\ |
176 ./src/Pure/Thy/thy\_syntax.scala\\ |
297 %./src/Pure/System/session.scala\\ |
177 ./src/Pure/Isac/isac.scala\\ |
298 %./src/Pure/System/platform.scala\\ |
178 ./src/Pure/library.scala\\ |
299 %./src/Pure/System/cygwin.scala\\ |
179 .\\ |
300 <<<<<<< local |
180 ./src/Pure/Isar/keyword.scala\\ |
301 <<<<<<< local |
181 ./src/Pure/Isar/outer\_syntax.scala\\ |
302 <<<<<<< local |
182 ./src/Pure/Isar/token.scala\\ |
303 ======= |
183 ./src/Pure/Isar/parse.scala\\ |
304 >>>>>>> other |
184 .\\ |
305 ======= |
185 ./src/Pure/System/gui\_setup.scala\\ |
306 >>>>>>> other |
186 ./src/Pure/System/isabelle\_system.scala\\ |
307 %./src/Pure/System/event\_bus.scala\\ |
187 ./src/Pure/System/swing\_thread.scala\\ |
308 %./src/Pure/System/isabelle\_process.scala\\ |
188 ./src/Pure/System/download.scala\\ |
309 %.\\ |
189 ./src/Pure/System/session\_manager.scala\\ |
310 %./src/Pure/PIDE/document.scala\\ |
190 ./src/Pure/System/standard\_system.scala\\ |
311 %./src/Pure/PIDE/markup\_tree.scala\\ |
191 ./src/Pure/System/isabelle\_syntax.scala\\ |
312 %./src/Pure/PIDE/text.scala\\ |
192 ./src/Pure/System/session.scala\\ |
313 %./src/Pure/PIDE/command.scala\\ |
193 ./src/Pure/System/platform.scala\\ |
314 %./src/Pure/PIDE/isar\_document.scala |
194 ./src/Pure/System/cygwin.scala\\ |
315 %} |
|
316 %\end{frame} |
|
317 <<<<<<< local |
|
318 <<<<<<< local |
|
319 ======= |
|
320 >>>>>>> other |
|
321 ======= |
|
322 :\\ |
|
323 ./src/Pure/System/event\_bus.scala\\ |
195 ./src/Pure/System/event\_bus.scala\\ |
324 ./src/Pure/System/isabelle\_process.scala\\ |
196 ./src/Pure/System/isabelle\_process.scala\\ |
325 .\\ |
197 .\\ |
326 ./src/Pure/PIDE/document.scala\\ |
198 ./src/Pure/PIDE/document.scala\\ |
327 ./src/Pure/PIDE/markup\_tree.scala\\ |
199 ./src/Pure/PIDE/markup\_tree.scala\\ |
328 ./src/Pure/PIDE/text.scala\\ |
200 ./src/Pure/PIDE/text.scala\\ |
329 ./src/Pure/PIDE/command.scala\\ |
201 ./src/Pure/PIDE/command.scala\\ |
330 ./src/Pure/PIDE/isar\_document.scala |
202 ./src/Pure/PIDE/isar\_document.scala |
331 } |
203 } |
332 \end{frame} |
204 \end{frame} |
333 >>>>>>> other |
205 |
334 <<<<<<< local |
206 |
335 ======= |
|
336 >>>>>>> other |
|
337 ======= |
|
338 >>>>>>> other |
|
339 |
|
340 \begin{frame}\frametitle{*.scala --- *.ML} |
|
341 {\footnotesize |
|
342 isabisac\$ ls -l src/Pure/System/\\ |
|
343 -rw-r--r-- 1 msteger root 3987 2011-03-14 17:09 cygwin.scala\\ |
|
344 -rw-r--r-- 1 msteger root 1486 2011-03-14 17:09 download.scala\\ |
|
345 -rw-r--r-- 1 msteger root 1296 2011-03-14 17:09 event\_bus.scala\\ |
|
346 -rw-r--r-- 1 msteger root 1830 2011-03-14 17:09 gui\_setup.scala\\ |
|
347 -rw-r--r-- 1 msteger root 5722 2011-03-14 17:09 \alert{isabelle\_process}.\textbf{ML}\\ |
|
348 -rw-r--r-- 1 msteger root 1059 2011-03-14 17:09 \alert{isabelle\_process}.\textbf{scala}\\ |
|
349 -rw-r--r-- 1 msteger root 1659 2011-03-14 17:09 isabelle\_syntax.scala\\ |
|
350 -rw-r--r-- 1 msteger root 2087 2011-03-14 17:09 \alert{isabelle\_system}.\textbf{ML}\\ |
|
351 -rw-r--r-- 1 msteger root 1168 2011-03-14 17:09 \alert{isabelle\_system}.\textbf{scala}\\ |
|
352 -rw-r--r-- 1 msteger root 5935 2011-03-14 17:09 isar.ML\\ |
|
353 -rw-r--r-- 1 msteger root 1989 2011-03-14 17:09 platform.scala\\ |
|
354 -rw-r--r-- 1 msteger root 1427 2011-03-14 17:09 session\_manager.scala\\ |
|
355 -rw-r--r-- 1 msteger root 3833 2011-03-14 17:09 \alert{session}.\textbf{ML}\\ |
|
356 -rw-r--r-- 1 msteger root 9172 2011-03-14 17:09 \alert{session}.\textbf{scala}\\ |
|
357 -rw-r--r-- 1 msteger root 9086 2011-03-14 17:09 standard\_system.scala\\ |
|
358 -rw-r--r-- 1 msteger root 1643 2011-03-14 17:09 swing\_thread.scala\\ |
|
359 |
|
360 } |
|
361 \end{frame} |
|
362 |
207 |
363 \subsection[jEdit]{Das Frontend: jEdit und ``plugins''} |
208 \subsection[jEdit]{Das Frontend: jEdit und ``plugins''} |
364 \begin{frame}\frametitle{Das Frontend: \\jEdit und ``plugins''} |
209 \begin{frame}\frametitle{Das Frontend: \\jEdit und ``plugins''} |
365 \begin{itemize} |
210 \begin{itemize} |
366 \item \textbf{jEdit} \textit{``is a mature programmer's text editor with hundreds (counting the time developing \textbf{plugins}) of person-years of development behind it.''} |
211 \item \textbf{jEdit} \textit{``is a mature programmer's text editor with hundreds (counting the time developing \textbf{plugins}) of person-years of development behind it.''} |