/lively4-petrinet/.options

• .lively4bootfilelist
• README.md
• _src_client_lively.css
• _src_client_vivide_components_vivide.css
• _src_components_halo_lively-halo-item.css
• _src_components_widgets_lively-code-mirror.css
• _src_external_code-mirror_addon_dialog_dialog.css
• _src_external_code-mirror_addon_hint_show-hint.css
• _src_external_code-mirror_addon_lint_lint.css
• _src_external_code-mirror_addon_merge_merge.css
• _src_external_code-mirror_addon_scroll_simplescrollbars.css
• _src_external_code-mirror_addon_tern_tern.css
• _src_external_code-mirror_lib_codemirror.css
• _src_external_font-awesome_css_font-awesome.css
• _src_external_font-awesome_css_font-awesome.min.css
• _src_external_highlight.css
• demos_PX17_index.md
• demos_index.md
• demos_plex_plex-scheme.js
• demos_tools-and-workflows_style.css
• doc__navigation.html
• media_lively4_logo_smooth_200.png
• src_client_ContextJS_src_Layers.js
• src_client_ContextJS_src_contextjs.js
• src_client_annotations.js
• src_client_auth-dropbox.js
• src_client_auth-github.js
• src_client_auth-googledrive.js
• src_client_auth.js
• src_client_bibliography.js
• src_client_bootlog.js
• src_client_bound-eval.js
• src_client_clipboard.js
• src_client_contextmenu.js
• src_client_draganddrop.js
• src_client_expose.js
• src_client_favorites.js
• src_client_fetch.js
• src_client_fileindex.js
• src_client_files-caches.js
• src_client_files.js
• src_client_github.js
• src_client_graffle.js
• src_client_graphics.js
• src_client_grid.svg
• src_client_html.js
• src_client_index.md
• src_client_info.js
• src_client_keyinfo.js
• src_client_keys.js
• src_client_lang_lang-ext.js
• src_client_lang_lang.js
• src_client_lang_utils.js
• src_client_layout.js
• src_client_lively.css
• src_client_lively.js
• src_client_load-swx.js
• src_client_lodash-bound.js
• src_client_markdown.js
• src_client_messaging.js
• src_client_mimetypes.js
• src_client_morphic_component-loader.js
• src_client_morphic_dragbehavior.js
• src_client_morphic_event-helpers.js
• src_client_morphic_events.js
• src_client_morphic_node-helpers.js
• src_client_morphic_selecting.js
• src_client_morphic_snapping.js
• src_client_oauth2.js
• src_client_patches.js
• src_client_paths.js
• src_client_persistence.js
• src_client_poid.js
• src_client_preferences.js
• src_client_preload.js
• src_client_protocols_bib.js
• src_client_protocols_microsoft.js
• src_client_protocols_rest.js
• src_client_protocols_tmp.js
• src_client_protocols_todoist.js
• src_client_protocols_wikipedia.js
• src_client_rasterize.js
• src_client_reactive_active-expression-convention_active-expression-frame-based.js
• src_client_reactive_active-expression-convention_active-expression-ticking.js
• src_client_reactive_active-expression-rewriting_active-expression-rewriting.js
• src_client_reactive_active-expression-rewriting_bidirectional-multi-map.js
• src_client_reactive_active-expression-rewriting_composite-key.js
• src_client_reactive_active-expression-rewriting_injective-map.js
• src_client_reactive_active-expression_active-expression.js
• src_client_reactive_active-group_select.js
• src_client_reactive_active-group_utils.js
• src_client_reactive_active-group_view.js
• src_client_reactive_babel-plugin-active-expression-proxies_index.js
• src_client_reactive_babel-plugin-active-expression-rewriting_constants.js
• src_client_reactive_babel-plugin-active-expression-rewriting_index.js
• src_client_reactive_babel-plugin-active-expression-rewriting_utils.js
• src_client_reactive_reactive-jsx_babel-plugin-jsx-lively.js
• src_client_reactive_reactive-jsx_reactive-jsx.js
• src_client_reactive_reactive-jsx_ui-aexpr.js
• src_client_reactive_rp19-jsx_babel-plugin-rp19-jsx.js
• src_client_reactive_rp19-jsx_rp19-jsx.js
• src_client_reactive_utils_annotations.js
• src_client_reactive_utils_equality.js
• src_client_reactive_utils_event-target.js
• src_client_reactive_utils_stack.js
• src_client_reflection.js
• src_client_script-manager.js
• src_client_sort.js
• src_client_stablefocus.js
• src_client_strings.js
• src_client_svg.js
• src_client_syntax.js
• src_client_triples_triples.js
• src_client_utils.js
• src_client_utils_stack.js
• src_client_viewnav.js
• src_client_vivide_components_vivide-view.js
• src_client_vivide_scripts_loading.js
• src_client_vivide_scripts_saving.js
• src_client_vivide_utils.js
• src_client_vivide_vivide.js
• src_client_vivide_vivideobject.js
• src_client_vivide_vividescript.js
• src_client_vivide_vividescriptstep.js
• src_client_workspace-loader.js
• src_client_workspaces.js
• src_components_demo_Logo.png
• src_components_demo_circle.png
• src_components_demo_codesnippets.md
• src_components_demo_delete-24px.png
• src_components_demo_element.html
• src_components_demo_index.md
• src_components_demo_lively-ball.js
• src_components_demo_lively-math.html_index.md
• src_components_demo_lively-math.html_lively-petrinet-connector.md
• src_components_demo_lively-petrinet-code-editor.html
• src_components_demo_lively-petrinet-code-editor.js
• src_components_demo_lively-petrinet-code-editor.png
• src_components_demo_lively-petrinet-code-transition.html
• src_components_demo_lively-petrinet-code-transition.js
• src_components_demo_lively-petrinet-code-transition.png
• src_components_demo_lively-petrinet-edge.html
• src_components_demo_lively-petrinet-edge.js
• src_components_demo_lively-petrinet-edge.png
• src_components_demo_lively-petrinet-editor.html
• src_components_demo_lively-petrinet-editor.js
• src_components_demo_lively-petrinet-editor.png
• src_components_demo_lively-petrinet-helper.js
• src_components_demo_lively-petrinet-place.html
• src_components_demo_lively-petrinet-place.js
• src_components_demo_lively-petrinet-place.png
• src_components_demo_lively-petrinet-prob-transition.html
• src_components_demo_lively-petrinet-prob-transition.js
• src_components_demo_lively-petrinet-prob-transition.png
• src_components_demo_lively-petrinet-token.PNG
• src_components_demo_lively-petrinet-token.html
• src_components_demo_lively-petrinet-token.js
• src_components_demo_lively-petrinet-token.png
• src_components_demo_lively-petrinet-toolbar.html
• src_components_demo_lively-petrinet-toolbar.js
• src_components_demo_lively-petrinet-toolbar.png
• src_components_demo_lively-petrinet-transition.html
• src_components_demo_lively-petrinet-transition.js
• src_components_demo_lively-petrinet.html
• src_components_demo_lively-petrinet.js
• src_components_demo_lively-petrinet.png
• src_components_demo_lively-soapbubble.js
• src_components_demo_save-24px.png
• src_components_halo_Connection.js
• src_components_halo_lively-halo-connectors-item.html
• src_components_halo_lively-halo-connectors-item.js
• src_components_halo_lively-halo-control-point-item.html
• src_components_halo_lively-halo-control-point-item.js
• src_components_halo_lively-halo-copy-item.html
• src_components_halo_lively-halo-copy-item.js
• src_components_halo_lively-halo-drag-item.html
• src_components_halo_lively-halo-drag-item.js
• src_components_halo_lively-halo-edit-item.html
• src_components_halo_lively-halo-edit-item.js
• src_components_halo_lively-halo-grab-item.html
• src_components_halo_lively-halo-grab-item.js
• src_components_halo_lively-halo-handle-item.html
• src_components_halo_lively-halo-handle-item.js
• src_components_halo_lively-halo-inspect-item.html
• src_components_halo_lively-halo-inspect-item.js
• src_components_halo_lively-halo-item.js
• src_components_halo_lively-halo-menu-item.html
• src_components_halo_lively-halo-menu-item.js
• src_components_halo_lively-halo-name-item.html
• src_components_halo_lively-halo-name-item.js
• src_components_halo_lively-halo-remove-item.html
• src_components_halo_lively-halo-remove-item.js
• src_components_halo_lively-halo-resize-item.html
• src_components_halo_lively-halo-resize-item.js
• src_components_halo_lively-halo-style-item.html
• src_components_halo_lively-halo-style-item.js
• src_components_halo_lively-halo-vivide-add-outport-item.html
• src_components_halo_lively-halo-vivide-add-outport-item.js
• src_components_halo_lively-halo-vivide-combine-item.html
• src_components_halo_lively-halo-vivide-combine-item.js
• src_components_halo_lively-halo-vivide-inport-connection-item.html
• src_components_halo_lively-halo-vivide-inport-connection-item.js
• src_components_halo_lively-halo-vivide-inport-item.html
• src_components_halo_lively-halo-vivide-inport-item.js
• src_components_halo_lively-halo-vivide-open-script-editor-item.html
• src_components_halo_lively-halo-vivide-open-script-editor-item.js
• src_components_halo_lively-halo-vivide-outport-connection-item.html
• src_components_halo_lively-halo-vivide-outport-connection-item.js
• src_components_halo_lively-halo-vivide-outport-item.html
• src_components_halo_lively-halo-vivide-outport-item.js
• src_components_halo_lively-halo-vivide-save-application-item.html
• src_components_halo_lively-halo-vivide-save-application-item.js
• src_components_halo_lively-halo-vivide-save-script-item.html
• src_components_halo_lively-halo-vivide-save-script-item.js
• src_components_halo_lively-halo-vivide-script-suggestion.html
• src_components_halo_lively-halo-vivide-script-suggestion.js
• src_components_halo_lively-halo.html
• src_components_halo_lively-halo.js
• src_components_halo_lively-hand.html
• src_components_halo_lively-hand.js
• src_components_halo_lively-selection.html
• src_components_halo_lively-selection.js
• src_components_tools_lively-container-navbar.html
• src_components_tools_lively-container-navbar.js
• src_components_tools_lively-container.html
• src_components_tools_lively-container.js
• src_components_tools_lively-editor.html
• src_components_tools_lively-editor.js
• src_components_tools_lively-generic-search.html
• src_components_tools_lively-generic-search.js
• src_components_tools_lively-index-search.html
• src_components_tools_lively-index-search.js
• src_components_tools_lively-inspector.html
• src_components_tools_lively-inspector.js
• src_components_tools_lively-sync.html
• src_components_tools_lively-sync.js
• src_components_tools_lively-version-control.html
• src_components_tools_lively-version-control.js
• src_components_widgets_ast-capabilities.js
• src_components_widgets_lively-background.html
• src_components_widgets_lively-background.js
• src_components_widgets_lively-code-mirror-code-augmentations.js
• src_components_widgets_lively-code-mirror-code-provider.js
• src_components_widgets_lively-code-mirror-context-menu.js
• src_components_widgets_lively-code-mirror-fake.js
• src_components_widgets_lively-code-mirror-hint.js
• src_components_widgets_lively-code-mirror-widget-import.js
• src_components_widgets_lively-code-mirror.css
• src_components_widgets_lively-code-mirror.html
• src_components_widgets_lively-code-mirror.js
• src_components_widgets_lively-code-tip.html
• src_components_widgets_lively-code-tip.js
• src_components_widgets_lively-dialog.html
• src_components_widgets_lively-dialog.js
• src_components_widgets_lively-drawboard.html
• src_components_widgets_lively-error.html
• src_components_widgets_lively-error.js
• src_components_widgets_lively-file.html
• src_components_widgets_lively-file.js
• src_components_widgets_lively-import.html
• src_components_widgets_lively-import.js
• src_components_widgets_lively-markdown.html
• src_components_widgets_lively-markdown.js
• src_components_widgets_lively-menu.html
• src_components_widgets_lively-menu.js
• src_components_widgets_lively-morph.js
• src_components_widgets_lively-notification-list.html
• src_components_widgets_lively-notification-list.js
• src_components_widgets_lively-notification.html
• src_components_widgets_lively-notification.js
• src_components_widgets_lively-presentation.html
• src_components_widgets_lively-presentation.js
• src_components_widgets_lively-resizer.html
• src_components_widgets_lively-resizer.js
• src_components_widgets_lively-script.html
• src_components_widgets_lively-script.js
• src_components_widgets_lively-separator.html
• src_components_widgets_lively-separator.js
• src_components_widgets_lively-window.html
• src_components_widgets_lively-window.js
• src_external_ansi-to-html.js
• src_external_babel-plugin-doit-result.js
• src_external_babel-plugin-doit-this-ref.js
• src_external_babel-plugin-locals.js
• src_external_babel-plugin-syntax-async-generators.js
• src_external_babel-plugin-syntax-do-expressions.js
• src_external_babel-plugin-syntax-function-bind.js
• src_external_babel-plugin-syntax-jsx.js
• src_external_babel-plugin-transform-do-expressions.js
• src_external_babel-plugin-transform-function-bind.js
• src_external_babel-plugin-var-recorder.js
• src_external_babel_plugin-babel2.js
• src_external_babel_systemjs-babel-browser.js
• src_external_bibtexParse.js
• src_external_code-mirror_.._eslint_eslint.js
• src_external_code-mirror_addon_comment_comment.js
• src_external_code-mirror_addon_dialog_dialog.js
• src_external_code-mirror_addon_edit_closebrackets.js
• src_external_code-mirror_addon_edit_closetag.js
• src_external_code-mirror_addon_edit_continuelist.js
• src_external_code-mirror_addon_edit_matchbrackets.js
• src_external_code-mirror_addon_edit_matchtags.js
• src_external_code-mirror_addon_edit_trailingspace.js
• src_external_code-mirror_addon_fold_foldcode.js
• src_external_code-mirror_addon_hint_javascript-hint.js
• src_external_code-mirror_addon_hint_show-hint.css
• src_external_code-mirror_addon_hint_show-hint.js
• src_external_code-mirror_addon_lint_javascript-lint.js
• src_external_code-mirror_addon_lint_lint.css
• src_external_code-mirror_addon_lint_lint.js
• src_external_code-mirror_addon_merge_merge.js
• src_external_code-mirror_addon_mode_overlay.js
• src_external_code-mirror_addon_scroll_annotatescrollbar.js
• src_external_code-mirror_addon_scroll_simplescrollbars.js
• src_external_code-mirror_addon_search_jump-to-line.js
• src_external_code-mirror_addon_search_match-highlighter.js
• src_external_code-mirror_addon_search_matchesonscrollbar.js
• src_external_code-mirror_addon_search_search.js
• src_external_code-mirror_addon_search_searchcursor.js
• src_external_code-mirror_addon_selection_mark-selection.js
• src_external_code-mirror_keymap_sublime.js
• src_external_code-mirror_lib_codemirror.js
• src_external_code-mirror_mode_clike_clike.js
• src_external_code-mirror_mode_css_css.js
• src_external_code-mirror_mode_diff_diff.js
• src_external_code-mirror_mode_gfm_gfm.js
• src_external_code-mirror_mode_htmlmixed_htmlmixed.js
• src_external_code-mirror_mode_javascript_javascript.js
• src_external_code-mirror_mode_jsx_jsx.js
• src_external_code-mirror_mode_markdown_markdown.js
• src_external_code-mirror_mode_python_python.js
• src_external_code-mirror_mode_shell_shell.js
• src_external_code-mirror_mode_stex_stex.js
• src_external_code-mirror_mode_xml_xml.js
• src_external_codemirror-spellcheck.js
• src_external_d3.v5.js
• src_external_dexie.js
• src_external_dicts_en_US.aff
• src_external_dicts_en_US.dic
• src_external_diff-match-patch.js
• src_external_eslint_babylon-to-espree7_attachComments.js
• src_external_eslint_babylon-to-espree7_convertComments.js
• src_external_eslint_babylon-to-espree7_convertTemplateType.js
• src_external_eslint_babylon-to-espree7_index.js
• src_external_eslint_babylon-to-espree7_toAST.js
• src_external_eslint_babylon-to-espree7_toToken.js
• src_external_eslint_babylon-to-espree7_toTokens.js
• src_external_eslint_eslint-lint.js
• src_external_eslint_eslint-parser.js
• src_external_eslint_eslint.js
• src_external_eslint_tokTypes.js
• src_external_focalStorage.js
• src_external_font-awesome_css_font-awesome.min.css
• src_external_highlight.js
• src_external_htmlparser2.js
• src_external_jszip.js
• src_external_lodash_lodash.js
• src_external_markdown-it-attrs.js
• src_external_markdown-it-hashtag.js
• src_external_markdown-it-sourcemap.js
• src_external_markdown-it-tasks.js
• src_external_markdown-it.js
• src_external_moment.js
• src_external_rasterizeHTML.js
• src_external_source-map.min.js
• src_external_systemjs_system.src.js
• src_external_tinycolor.js
• src_external_typo.js
• src_external_upndown.js
• src_parts_barbers.html
• src_parts_coloured.html
• src_parts_deadlock.html
• src_parts_element.html
• src_parts_firstTryHighLevel.html
• src_parts_mensa.html
• src_parts_test.html
• src_systemjs-config.js
• src_worker_chrome_debugger_tools.png
• src_worker_fileindex-worker.js
• src_worker_index.md
• src_worker_livelyworker.js
• src_worker_meta-worker.js
• src_worker_service-worker.js
• src_worker_systemjs-worker.js
• start.html
• templates_graph-control.js
• templates_knot-view.js
• templates_lively4.css
• test.js