├── .gitignore ├── COPYRIGHT ├── README.md ├── isabelle.graphview ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs └── src │ └── isabelle │ └── graphview │ ├── graph_panel.scala │ ├── layout_pendulum.scala │ ├── main_panel.scala │ ├── model.scala │ ├── mutator.scala │ ├── mutator_dialog.scala │ ├── mutator_event.scala │ ├── popups.scala │ ├── shapes.scala │ └── visualizer.scala ├── isabelle.jedit ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── README ├── etc │ ├── options │ └── settings ├── lib │ └── Tools │ │ └── jedit ├── patches │ ├── brackets │ ├── docking │ ├── extended_styles │ ├── macos │ └── numeric_keypad └── src │ └── isabelle │ └── jedit │ ├── Isabelle.props │ ├── Isabelle_Encoding.scala │ ├── Plugin.scala │ ├── actions.xml │ ├── active.scala │ ├── completion_popup.scala │ ├── context_menu.scala │ ├── dockable.scala │ ├── dockables.xml │ ├── document_model.scala │ ├── document_view.scala │ ├── documentation_dockable.scala │ ├── fold_handling.scala │ ├── font_info.scala │ ├── graphview_dockable.scala │ ├── info_dockable.scala │ ├── isabelle.scala │ ├── isabelle_logic.scala │ ├── isabelle_options.scala │ ├── isabelle_sidekick.scala │ ├── jEdit.props │ ├── jedit_editor.scala │ ├── jedit_lib.scala │ ├── jedit_options.scala │ ├── jedit_resources.scala │ ├── modes │ ├── isabelle-ml.xml │ ├── isabelle-news.xml │ ├── isabelle-options.xml │ ├── isabelle-root.xml │ ├── isabelle.xml │ └── sml.xml │ ├── monitor_dockable.scala │ ├── output_dockable.scala │ ├── pide_docking_framework.scala │ ├── pretty_text_area.scala │ ├── pretty_tooltip.scala │ ├── process_indicator.scala │ ├── protocol_dockable.scala │ ├── query_dockable.scala │ ├── raw_output_dockable.scala │ ├── rendering.scala │ ├── rich_text_area.scala │ ├── scala_console.scala │ ├── services.xml │ ├── simplifier_trace_dockable.scala │ ├── simplifier_trace_window.scala │ ├── sledgehammer_dockable.scala │ ├── spell_checker.scala │ ├── symbols_dockable.scala │ ├── syslog_dockable.scala │ ├── text_overview.scala │ ├── theories_dockable.scala │ ├── timing_dockable.scala │ └── token_markup.scala ├── isabelle.pide ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs └── src │ └── isabelle │ ├── bytes.scala │ ├── consumer_thread.scala │ ├── counter.scala │ ├── document_id.scala │ ├── event_timer.scala │ ├── exn.scala │ ├── future.scala │ ├── graph.scala │ ├── html.scala │ ├── library.scala │ ├── linear_set.scala │ ├── mailbox.scala │ ├── markup.scala │ ├── markup_tree.scala │ ├── multi_map.scala │ ├── output.scala │ ├── package.scala │ ├── platform.scala │ ├── properties.scala │ ├── sha1.scala │ ├── simple_thread.scala │ ├── synchronized.scala │ ├── text.scala │ ├── time.scala │ ├── timing.scala │ ├── untyped.scala │ ├── utf8.scala │ ├── word.scala │ ├── xml.scala │ └── yxml.scala ├── isabelle.pure.ui ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs └── src │ └── isabelle │ ├── color_value.scala │ ├── graphics_file.scala │ ├── gui.scala │ ├── html5_panel.scala │ ├── isabelle_font.scala │ ├── jfx_thread.scala │ ├── main.scala │ ├── ml_statistics.scala │ ├── popup.scala │ ├── query_operation.scala │ ├── swing_thread.scala │ ├── system_dialog.scala │ ├── task_statistics.scala │ └── wrap_panel.scala ├── isabelle.pure ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── build-jars └── src │ └── isabelle │ ├── antiquote.scala │ ├── build.scala │ ├── build_doc.scala │ ├── check_source.scala │ ├── command.scala │ ├── command_line.scala │ ├── completion.scala │ ├── doc.scala │ ├── document.scala │ ├── editor.scala │ ├── file.scala │ ├── invoke_scala.scala │ ├── isabelle_charset.scala │ ├── isabelle_process.scala │ ├── isabelle_system.scala │ ├── keyword.scala │ ├── keywords.scala │ ├── long_name.scala │ ├── ml_lex.scala │ ├── options.scala │ ├── outer_syntax.scala │ ├── parse.scala │ ├── path.scala │ ├── position.scala │ ├── posix_interrupt.scala │ ├── present.scala │ ├── pretty.scala │ ├── print_operation.scala │ ├── protocol.scala │ ├── prover.scala │ ├── resources.scala │ ├── scan.scala │ ├── session.scala │ ├── simplifier_trace.scala │ ├── symbol.scala │ ├── system_channel.scala │ ├── term.scala │ ├── term_xml.scala │ ├── thy_header.scala │ ├── thy_info.scala │ ├── thy_syntax.scala │ ├── token.scala │ ├── url.scala │ └── xz_file.scala ├── sync-isa-commits.sh └── sync-isa-files.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/COPYRIGHT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/README.md -------------------------------------------------------------------------------- /isabelle.graphview/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/.classpath -------------------------------------------------------------------------------- /isabelle.graphview/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/.project -------------------------------------------------------------------------------- /isabelle.graphview/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/graph_panel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/graph_panel.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/layout_pendulum.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/layout_pendulum.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/main_panel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/main_panel.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/model.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/model.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/mutator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/mutator.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/mutator_dialog.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/mutator_dialog.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/mutator_event.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/mutator_event.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/popups.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/popups.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/shapes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/shapes.scala -------------------------------------------------------------------------------- /isabelle.graphview/src/isabelle/graphview/visualizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.graphview/src/isabelle/graphview/visualizer.scala -------------------------------------------------------------------------------- /isabelle.jedit/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/.classpath -------------------------------------------------------------------------------- /isabelle.jedit/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/.project -------------------------------------------------------------------------------- /isabelle.jedit/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /isabelle.jedit/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/README -------------------------------------------------------------------------------- /isabelle.jedit/etc/options: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/etc/options -------------------------------------------------------------------------------- /isabelle.jedit/etc/settings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/etc/settings -------------------------------------------------------------------------------- /isabelle.jedit/lib/Tools/jedit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/lib/Tools/jedit -------------------------------------------------------------------------------- /isabelle.jedit/patches/brackets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/patches/brackets -------------------------------------------------------------------------------- /isabelle.jedit/patches/docking: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/patches/docking -------------------------------------------------------------------------------- /isabelle.jedit/patches/extended_styles: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/patches/extended_styles -------------------------------------------------------------------------------- /isabelle.jedit/patches/macos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/patches/macos -------------------------------------------------------------------------------- /isabelle.jedit/patches/numeric_keypad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/patches/numeric_keypad -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/Isabelle.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/Isabelle.props -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/Isabelle_Encoding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/Isabelle_Encoding.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/Plugin.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/Plugin.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/actions.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/actions.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/active.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/active.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/completion_popup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/completion_popup.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/context_menu.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/context_menu.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/dockables.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/dockables.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/document_model.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/document_model.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/document_view.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/document_view.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/documentation_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/documentation_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/fold_handling.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/fold_handling.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/font_info.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/font_info.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/graphview_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/graphview_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/info_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/info_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/isabelle.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/isabelle.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/isabelle_logic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/isabelle_logic.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/isabelle_options.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/isabelle_options.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/isabelle_sidekick.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/isabelle_sidekick.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/jEdit.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/jEdit.props -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/jedit_editor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/jedit_editor.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/jedit_lib.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/jedit_lib.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/jedit_options.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/jedit_options.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/jedit_resources.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/jedit_resources.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/modes/isabelle-ml.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/modes/isabelle-ml.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/modes/isabelle-news.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/modes/isabelle-news.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/modes/isabelle-options.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/modes/isabelle-options.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/modes/isabelle-root.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/modes/isabelle-root.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/modes/isabelle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/modes/isabelle.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/modes/sml.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/modes/sml.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/monitor_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/monitor_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/output_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/output_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/pide_docking_framework.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/pide_docking_framework.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/pretty_text_area.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/pretty_text_area.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/pretty_tooltip.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/pretty_tooltip.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/process_indicator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/process_indicator.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/protocol_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/protocol_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/query_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/query_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/raw_output_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/raw_output_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/rendering.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/rendering.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/rich_text_area.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/rich_text_area.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/scala_console.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/scala_console.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/services.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/services.xml -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/simplifier_trace_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/simplifier_trace_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/simplifier_trace_window.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/simplifier_trace_window.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/sledgehammer_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/sledgehammer_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/spell_checker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/spell_checker.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/symbols_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/symbols_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/syslog_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/syslog_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/text_overview.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/text_overview.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/theories_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/theories_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/timing_dockable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/timing_dockable.scala -------------------------------------------------------------------------------- /isabelle.jedit/src/isabelle/jedit/token_markup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.jedit/src/isabelle/jedit/token_markup.scala -------------------------------------------------------------------------------- /isabelle.pide/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/.classpath -------------------------------------------------------------------------------- /isabelle.pide/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/.project -------------------------------------------------------------------------------- /isabelle.pide/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/bytes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/bytes.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/consumer_thread.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/consumer_thread.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/counter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/counter.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/document_id.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/document_id.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/event_timer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/event_timer.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/exn.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/exn.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/future.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/future.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/graph.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/graph.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/html.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/html.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/library.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/library.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/linear_set.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/linear_set.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/mailbox.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/mailbox.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/markup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/markup.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/markup_tree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/markup_tree.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/multi_map.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/multi_map.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/output.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/output.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/package.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/platform.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/properties.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/properties.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/sha1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/sha1.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/simple_thread.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/simple_thread.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/synchronized.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/synchronized.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/text.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/text.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/time.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/time.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/timing.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/timing.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/untyped.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/untyped.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/utf8.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/utf8.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/word.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/word.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/xml.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/xml.scala -------------------------------------------------------------------------------- /isabelle.pide/src/isabelle/yxml.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pide/src/isabelle/yxml.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/.classpath -------------------------------------------------------------------------------- /isabelle.pure.ui/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/.project -------------------------------------------------------------------------------- /isabelle.pure.ui/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/color_value.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/color_value.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/graphics_file.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/graphics_file.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/gui.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/gui.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/html5_panel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/html5_panel.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/isabelle_font.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/isabelle_font.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/jfx_thread.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/jfx_thread.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/main.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/ml_statistics.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/ml_statistics.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/popup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/popup.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/query_operation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/query_operation.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/swing_thread.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/swing_thread.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/system_dialog.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/system_dialog.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/task_statistics.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/task_statistics.scala -------------------------------------------------------------------------------- /isabelle.pure.ui/src/isabelle/wrap_panel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure.ui/src/isabelle/wrap_panel.scala -------------------------------------------------------------------------------- /isabelle.pure/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/.classpath -------------------------------------------------------------------------------- /isabelle.pure/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/.project -------------------------------------------------------------------------------- /isabelle.pure/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /isabelle.pure/build-jars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/build-jars -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/antiquote.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/antiquote.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/build.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/build.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/build_doc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/build_doc.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/check_source.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/check_source.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/command.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/command.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/command_line.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/command_line.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/completion.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/completion.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/doc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/doc.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/document.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/document.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/editor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/editor.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/file.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/file.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/invoke_scala.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/invoke_scala.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/isabelle_charset.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/isabelle_charset.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/isabelle_process.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/isabelle_process.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/isabelle_system.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/isabelle_system.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/keyword.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/keyword.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/keywords.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/keywords.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/long_name.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/long_name.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/ml_lex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/ml_lex.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/options.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/options.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/outer_syntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/outer_syntax.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/parse.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/parse.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/path.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/path.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/position.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/position.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/posix_interrupt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/posix_interrupt.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/present.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/present.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/pretty.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/pretty.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/print_operation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/print_operation.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/protocol.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/protocol.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/prover.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/prover.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/resources.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/resources.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/scan.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/scan.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/session.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/session.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/simplifier_trace.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/simplifier_trace.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/symbol.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/symbol.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/system_channel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/system_channel.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/term.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/term.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/term_xml.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/term_xml.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/thy_header.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/thy_header.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/thy_info.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/thy_info.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/thy_syntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/thy_syntax.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/token.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/token.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/url.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/url.scala -------------------------------------------------------------------------------- /isabelle.pure/src/isabelle/xz_file.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/isabelle.pure/src/isabelle/xz_file.scala -------------------------------------------------------------------------------- /sync-isa-commits.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/sync-isa-commits.sh -------------------------------------------------------------------------------- /sync-isa-files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andriusvelykis/isabelle-scala/HEAD/sync-isa-files.sh --------------------------------------------------------------------------------