{ "name": "lambda-term", "version": "3.3.3", "files": [ "doc/lambda-term/LTerm_widget_impl/Make/class-hslider/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-vslider/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-hscrollbar/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-vscrollbar/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-scrollable/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-type-default_scroll_events/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-type-scrollable_private/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-type-scrollable_document/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-type-scrollable_adjustment/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-adjustment/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-radiobutton/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-radiogroup/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-type-radio/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-checkbutton/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-button/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-radiobutton/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-radiogroup/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-type-radio/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-checkbutton/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-button/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-t/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-vline/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-hline/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-spacing/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-modal_frame/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-frame/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-vbox/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-hbox/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-type-box/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-modal_frame/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-frame/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-vbox/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-hbox/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-abox/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-type-box/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-t/index.html", "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-label/index.html", "doc/lambda-term/LTerm_widget_impl/Make/class-t/index.html", "doc/lambda-term/LTerm_widget_impl/Make/argument-1-LiteralIntf/index.html", "doc/lambda-term/LTerm_widget_impl/Make/index.html", "doc/lambda-term/LTerm_widget_impl/index.html", "doc/lambda-term/LTerm_vi/class-state/index.html", "doc/lambda-term/LTerm_vi/class-edit/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/Visual/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/Normal/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/Common/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/RegisterMap/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/Register/index.html", "doc/lambda-term/LTerm_vi/Vi/Interpret/index.html", "doc/lambda-term/LTerm_vi/Vi/Base/class-state/index.html", "doc/lambda-term/LTerm_vi/Vi/Base/class-edit/index.html", "doc/lambda-term/LTerm_vi/Vi/Base/Mode/Modes/index.html", "doc/lambda-term/LTerm_vi/Vi/Base/Mode/index.html", "doc/lambda-term/LTerm_vi/Vi/Base/Key/index.html", "doc/lambda-term/LTerm_vi/Vi/Base/index.html", "doc/lambda-term/LTerm_vi/Vi/index.html", "doc/lambda-term/LTerm_vi/Query/index.html", "doc/lambda-term/LTerm_vi/Concurrent/MsgBox/index.html", "doc/lambda-term/LTerm_vi/Concurrent/Thread/index.html", "doc/lambda-term/LTerm_vi/Concurrent/index.html", "doc/lambda-term/LTerm_vi/index.html", "doc/lambda-term/LTerm_widget/class-hslider/index.html", "doc/lambda-term/LTerm_widget/class-vslider/index.html", "doc/lambda-term/LTerm_widget/class-hscrollbar/index.html", "doc/lambda-term/LTerm_widget/class-vscrollbar/index.html", "doc/lambda-term/LTerm_widget/class-type-default_scroll_events/index.html", "doc/lambda-term/LTerm_widget/class-scrollable/index.html", "doc/lambda-term/LTerm_widget/class-type-scrollable_private/index.html", "doc/lambda-term/LTerm_widget/class-type-scrollable_document/index.html", "doc/lambda-term/LTerm_widget/class-type-scrollable_adjustment/index.html", "doc/lambda-term/LTerm_widget/class-adjustment/index.html", "doc/lambda-term/LTerm_widget/class-radiobutton/index.html", "doc/lambda-term/LTerm_widget/class-radiogroup/index.html", "doc/lambda-term/LTerm_widget/class-type-radio/index.html", "doc/lambda-term/LTerm_widget/class-checkbutton/index.html", "doc/lambda-term/LTerm_widget/class-button/index.html", "doc/lambda-term/LTerm_widget/class-vline/index.html", "doc/lambda-term/LTerm_widget/class-hline/index.html", "doc/lambda-term/LTerm_widget/class-spacing/index.html", "doc/lambda-term/LTerm_widget/class-modal_frame/index.html", "doc/lambda-term/LTerm_widget/class-frame/index.html", "doc/lambda-term/LTerm_widget/class-vbox/index.html", "doc/lambda-term/LTerm_widget/class-hbox/index.html", "doc/lambda-term/LTerm_widget/class-type-box/index.html", "doc/lambda-term/LTerm_widget/class-label/index.html", "doc/lambda-term/LTerm_widget/class-t/index.html", "doc/lambda-term/LTerm_widget/index.html", "doc/lambda-term/LiteralIntf/UTF8/index.html", "doc/lambda-term/LiteralIntf/Zed/index.html", "doc/lambda-term/LiteralIntf/module-type-Type/index.html", "doc/lambda-term/LiteralIntf/index.html", "doc/lambda-term/LTerm_windows/index.html", "doc/lambda-term/LTerm_widget_callbacks/index.html", "doc/lambda-term/LTerm_widget_base_impl/class-t/index.html", "doc/lambda-term/LTerm_widget_base_impl/index.html", "doc/lambda-term/LTerm_toplevel_impl/class-toplevel/index.html", "doc/lambda-term/LTerm_toplevel_impl/class-t/index.html", "doc/lambda-term/LTerm_toplevel_impl/index.html", "doc/lambda-term/LTerm_text_impl/Make/argument-1-LiteralIntf/index.html", "doc/lambda-term/LTerm_text_impl/Make/index.html", "doc/lambda-term/LTerm_text_impl/index.html", "doc/lambda-term/LTerm_scroll_impl/class-hslider/index.html", "doc/lambda-term/LTerm_scroll_impl/class-vslider/index.html", "doc/lambda-term/LTerm_scroll_impl/class-hscrollbar/index.html", "doc/lambda-term/LTerm_scroll_impl/class-vscrollbar/index.html", "doc/lambda-term/LTerm_scroll_impl/class-scrollbar/index.html", "doc/lambda-term/LTerm_scroll_impl/class-scrollable_adjustment/index.html", "doc/lambda-term/LTerm_scroll_impl/class-adjustment/index.html", "doc/lambda-term/LTerm_scroll_impl/class-t/index.html", "doc/lambda-term/LTerm_scroll_impl/index.html", "doc/lambda-term/LTerm_unix/index.html", "doc/lambda-term/LTerm_ui/index.html", "doc/lambda-term/LTerm_text/index.html", "doc/lambda-term/LTerm_style/index.html", "doc/lambda-term/LTerm_read_line/class-term/index.html", "doc/lambda-term/LTerm_read_line/class-read_keyword/index.html", "doc/lambda-term/LTerm_read_line/class-read_password/index.html", "doc/lambda-term/LTerm_read_line/class-read_line/index.html", "doc/lambda-term/LTerm_read_line/class-abstract/index.html", "doc/lambda-term/LTerm_read_line/class-engine/index.html", "doc/lambda-term/LTerm_read_line/index.html", "doc/lambda-term/LTerm_running_impl/class-toplevel/index.html", "doc/lambda-term/LTerm_running_impl/index.html", "doc/lambda-term/LTerm_resources/index.html", "doc/lambda-term/LTerm_read_line_base/index.html", "doc/lambda-term/LTerm_resource_lexer/index.html", "doc/lambda-term/LTerm_mouse/index.html", "doc/lambda-term/LTerm_history/index.html", "doc/lambda-term/LTerm_key/index.html", "doc/lambda-term/LTerm_inputrc/index.html", "doc/lambda-term/LTerm_geom/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-modal_frame/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-frame/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-vbox/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-hbox/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-abox/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-type-box/index.html", "doc/lambda-term/LTerm_containers_impl/Make/class-t/index.html", "doc/lambda-term/LTerm_containers_impl/Make/argument-1-LiteralIntf/index.html", "doc/lambda-term/LTerm_containers_impl/Make/index.html", "doc/lambda-term/LTerm_containers_impl/index.html", "doc/lambda-term/LTerm_event/index.html", "doc/lambda-term/LTerm_edit/class-edit/index.html", "doc/lambda-term/LTerm_edit/index.html", "doc/lambda-term/LTerm_editor/index.html", "doc/lambda-term/LTerm_draw/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/class-radiobutton/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/class-radiogroup/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/class-type-radio/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/class-checkbutton/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/class-button/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/class-t/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/argument-1-LiteralIntf/index.html", "doc/lambda-term/LTerm_buttons_impl/Make/index.html", "doc/lambda-term/LTerm_buttons_impl/index.html", "doc/lambda-term/LTerm_dlist/index.html", "doc/lambda-term/LTerm/index.html", "doc/lambda-term/LTerm_color_mappings/index.html", "doc/lambda-term/index.html", "doc/src/lambda-term/lTerm_buttons_impl.ml.html", "doc/src/lambda-term/lTerm_color_mappings.ml.html", "doc/src/lambda-term/lTerm_dlist.ml.html", "doc/src/lambda-term/lTerm_editor.ml.html", "doc/src/lambda-term/lTerm_event.ml.html", "doc/src/lambda-term/lTerm_geom.ml.html", "doc/src/lambda-term/lTerm_containers_impl.ml.html", "doc/src/lambda-term/lTerm_key.ml.html", "doc/src/lambda-term/lTerm_edit.ml.html", "doc/src/lambda-term/lTerm_mouse.ml.html", "doc/src/lambda-term/lTerm_resource_lexer.ml.html", "doc/src/lambda-term/lTerm_read_line_base.ml.html", "doc/src/lambda-term/lTerm_history.ml.html", "doc/src/lambda-term/lTerm.ml.html", "doc/src/lambda-term/lTerm_style.ml.html", "doc/src/lambda-term/lTerm_inputrc.ml.html", "doc/src/lambda-term/lTerm_text.ml.html", "doc/src/lambda-term/lTerm_running_impl.ml.html", "doc/src/lambda-term/lTerm_draw.ml.html", "doc/src/lambda-term/lTerm_scroll_impl.ml.html", "doc/src/lambda-term/lTerm_toplevel_impl.ml.html", "doc/src/lambda-term/lTerm_ui.ml.html", "doc/src/lambda-term/lTerm_widget.ml.html", "doc/src/lambda-term/lTerm_widget_base_impl.ml.html", "doc/src/lambda-term/lTerm_text_impl.ml.html", "doc/src/lambda-term/lTerm_widget_callbacks.ml.html", "doc/src/lambda-term/lTerm_widget_impl.ml.html", "doc/src/lambda-term/lTerm_windows.ml.html", "doc/src/lambda-term/literalIntf.ml.html", "doc/src/lambda-term/lTerm_read_line.ml.html", "doc/src/lambda-term/lTerm_unix.ml.html", "doc/src/lambda-term/lTerm_resources.ml.html", "doc/src/lambda-term/lTerm_vi.ml.html", "doc/src/index.html", "doc/index.html", "doc/README.html", "doc/CHANGES.html" ], "failed": false, "redirections": [ { "old_path": "doc/LTerm_widget_impl/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-type-scrollable_adjustment/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-type-scrollable_adjustment/index.html" }, { "old_path": "doc/LTerm_text_impl/Make/argument-1-LiteralIntf/index.html", "new_path": "doc/lambda-term/LTerm_text_impl/Make/argument-1-LiteralIntf/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-vscrollbar/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-vscrollbar/index.html" }, { "old_path": "doc/LTerm_widget/class-checkbutton/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-checkbutton/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-vscrollbar/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-vscrollbar/index.html" }, { "old_path": "doc/LTerm_widget/class-type-default_scroll_events/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-type-default_scroll_events/index.html" }, { "old_path": "doc/LTerm_widget/class-type-scrollable_private/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-type-scrollable_private/index.html" }, { "old_path": "doc/LTerm_editor/index.html", "new_path": "doc/lambda-term/LTerm_editor/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Base/Mode/Modes/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Base/Mode/Modes/index.html" }, { "old_path": "doc/LTerm_history/index.html", "new_path": "doc/lambda-term/LTerm_history/index.html" }, { "old_path": "doc/LTerm_inputrc/index.html", "new_path": "doc/lambda-term/LTerm_inputrc/index.html" }, { "old_path": "doc/LTerm_dlist/index.html", "new_path": "doc/lambda-term/LTerm_dlist/index.html" }, { "old_path": "doc/LTerm_read_line/class-read_password/index.html", "new_path": "doc/lambda-term/LTerm_read_line/class-read_password/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-hslider/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-hslider/index.html" }, { "old_path": "doc/LTerm_widget/class-adjustment/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-adjustment/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-vslider/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-vslider/index.html" }, { "old_path": "doc/LTerm_running_impl/index.html", "new_path": "doc/lambda-term/LTerm_running_impl/index.html" }, { "old_path": "doc/LTerm_widget/class-radiogroup/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-radiogroup/index.html" }, { "old_path": "doc/LTerm_text_impl/Make/index.html", "new_path": "doc/lambda-term/LTerm_text_impl/Make/index.html" }, { "old_path": "doc/LTerm/index.html", "new_path": "doc/lambda-term/LTerm/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Base/class-state/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Base/class-state/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-adjustment/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-adjustment/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/index.html" }, { "old_path": "doc/LTerm_widget/class-radiobutton/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-radiobutton/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-radiogroup/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-radiogroup/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/class-t/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-t/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/class-checkbutton/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/class-checkbutton/index.html" }, { "old_path": "doc/LTerm_color_mappings/index.html", "new_path": "doc/lambda-term/LTerm_color_mappings/index.html" }, { "old_path": "doc/LTerm_geom/index.html", "new_path": "doc/lambda-term/LTerm_geom/index.html" }, { "old_path": "doc/LTerm_vi/class-state/index.html", "new_path": "doc/lambda-term/LTerm_vi/class-state/index.html" }, { "old_path": "doc/LTerm_widget/class-modal_frame/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-modal_frame/index.html" }, { "old_path": "doc/LTerm_scroll_impl/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-t/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-t/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/class-checkbutton/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-checkbutton/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/class-radiobutton/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-radiobutton/index.html" }, { "old_path": "doc/LTerm_toplevel_impl/class-toplevel/index.html", "new_path": "doc/lambda-term/LTerm_toplevel_impl/class-toplevel/index.html" }, { "old_path": "doc/LTerm_edit/class-edit/index.html", "new_path": "doc/lambda-term/LTerm_edit/class-edit/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-type-box/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-type-box/index.html" }, { "old_path": "doc/LTerm_read_line/class-term/index.html", "new_path": "doc/lambda-term/LTerm_read_line/class-term/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-t/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-t/index.html" }, { "old_path": "doc/LTerm_vi/Vi/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/index.html" }, { "old_path": "doc/LTerm_widget_base_impl/index.html", "new_path": "doc/lambda-term/LTerm_widget_base_impl/index.html" }, { "old_path": "doc/LTerm_vi/index.html", "new_path": "doc/lambda-term/LTerm_vi/index.html" }, { "old_path": "doc/LTerm_vi/Query/index.html", "new_path": "doc/lambda-term/LTerm_vi/Query/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-modal_frame/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-modal_frame/index.html" }, { "old_path": "doc/LTerm_widget/class-vscrollbar/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-vscrollbar/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-vbox/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-vbox/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-abox/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-abox/index.html" }, { "old_path": "doc/LTerm_widget/class-spacing/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-spacing/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-t/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-t/index.html" }, { "old_path": "doc/LTerm_widget/class-hscrollbar/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-hscrollbar/index.html" }, { "old_path": "doc/LTerm_windows/index.html", "new_path": "doc/lambda-term/LTerm_windows/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/argument-1-LiteralIntf/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/argument-1-LiteralIntf/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/Register/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/Register/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-modal_frame/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-modal_frame/index.html" }, { "old_path": "doc/LTerm_widget/class-label/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-label/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-frame/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-frame/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-frame/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-frame/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/class-button/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-button/index.html" }, { "old_path": "doc/LiteralIntf/index.html", "new_path": "doc/lambda-term/LiteralIntf/index.html" }, { "old_path": "doc/LTerm_widget_base_impl/class-t/index.html", "new_path": "doc/lambda-term/LTerm_widget_base_impl/class-t/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/class-type-radio/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/class-type-radio/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-type-default_scroll_events/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-type-default_scroll_events/index.html" }, { "old_path": "doc/LTerm_mouse/index.html", "new_path": "doc/lambda-term/LTerm_mouse/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-modal_frame/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-modal_frame/index.html" }, { "old_path": "doc/LTerm_draw/index.html", "new_path": "doc/lambda-term/LTerm_draw/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-type-box/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-type-box/index.html" }, { "old_path": "doc/LTerm_resource_lexer/index.html", "new_path": "doc/lambda-term/LTerm_resource_lexer/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-t/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-t/index.html" }, { "old_path": "doc/LTerm_text_impl/index.html", "new_path": "doc/lambda-term/LTerm_text_impl/index.html" }, { "old_path": "doc/LTerm_read_line_base/index.html", "new_path": "doc/lambda-term/LTerm_read_line_base/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/index.html" }, { "old_path": "doc/LTerm_widget/class-vslider/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-vslider/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/class-button/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/class-button/index.html" }, { "old_path": "doc/LTerm_running_impl/class-toplevel/index.html", "new_path": "doc/lambda-term/LTerm_running_impl/class-toplevel/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-checkbutton/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-checkbutton/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-hbox/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-hbox/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-adjustment/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-adjustment/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-vslider/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-vslider/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-scrollbar/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-scrollbar/index.html" }, { "old_path": "doc/LTerm_widget/class-hslider/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-hslider/index.html" }, { "old_path": "doc/LTerm_edit/index.html", "new_path": "doc/lambda-term/LTerm_edit/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/class-t/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/class-t/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/class-radiogroup/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-radiogroup/index.html" }, { "old_path": "doc/LTerm_key/index.html", "new_path": "doc/lambda-term/LTerm_key/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-radiobutton/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-radiobutton/index.html" }, { "old_path": "doc/LTerm_widget/class-type-radio/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-type-radio/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-type-scrollable_private/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-type-scrollable_private/index.html" }, { "old_path": "doc/LTerm_widget_callbacks/index.html", "new_path": "doc/lambda-term/LTerm_widget_callbacks/index.html" }, { "old_path": "doc/LTerm_toplevel_impl/index.html", "new_path": "doc/lambda-term/LTerm_toplevel_impl/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-type-radio/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-type-radio/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-type-scrollable_document/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-type-scrollable_document/index.html" }, { "old_path": "doc/LTerm_widget/class-t/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-t/index.html" }, { "old_path": "doc/LTerm_widget/class-vbox/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-vbox/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-hbox/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-hbox/index.html" }, { "old_path": "doc/LTerm_widget/class-button/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-button/index.html" }, { "old_path": "doc/LTerm_read_line/class-abstract/index.html", "new_path": "doc/lambda-term/LTerm_read_line/class-abstract/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-vbox/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-vbox/index.html" }, { "old_path": "doc/LTerm_resources/index.html", "new_path": "doc/lambda-term/LTerm_resources/index.html" }, { "old_path": "doc/LTerm_containers_impl/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Base/Mode/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Base/Mode/index.html" }, { "old_path": "doc/LTerm_widget/class-type-scrollable_document/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-type-scrollable_document/index.html" }, { "old_path": "doc/LiteralIntf/module-type-Type/index.html", "new_path": "doc/lambda-term/LiteralIntf/module-type-Type/index.html" }, { "old_path": "doc/LTerm_vi/Concurrent/index.html", "new_path": "doc/lambda-term/LTerm_vi/Concurrent/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Base/class-edit/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Base/class-edit/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/argument-1-LiteralIntf/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/argument-1-LiteralIntf/index.html" }, { "old_path": "doc/LiteralIntf/Zed/index.html", "new_path": "doc/lambda-term/LiteralIntf/Zed/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Base/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Base/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/Resolver/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/index.html" }, { "old_path": "doc/LTerm_read_line/class-read_keyword/index.html", "new_path": "doc/lambda-term/LTerm_read_line/class-read_keyword/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-label/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-label/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/class-radiobutton/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/class-radiobutton/index.html" }, { "old_path": "doc/LTerm_widget/class-hbox/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-hbox/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/Resolver/Common/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/Common/index.html" }, { "old_path": "doc/LTerm_vi/Concurrent/Thread/index.html", "new_path": "doc/lambda-term/LTerm_vi/Concurrent/Thread/index.html" }, { "old_path": "doc/LTerm_buttons_impl/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_buttons/class-type-radio/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_buttons/class-type-radio/index.html" }, { "old_path": "doc/LTerm_toplevel_impl/class-t/index.html", "new_path": "doc/lambda-term/LTerm_toplevel_impl/class-t/index.html" }, { "old_path": "doc/LTerm_ui/index.html", "new_path": "doc/lambda-term/LTerm_ui/index.html" }, { "old_path": "doc/LTerm_read_line/index.html", "new_path": "doc/lambda-term/LTerm_read_line/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-spacing/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-spacing/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-vbox/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-vbox/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-hline/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-hline/index.html" }, { "old_path": "doc/LTerm_read_line/class-engine/index.html", "new_path": "doc/lambda-term/LTerm_read_line/class-engine/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Base/Key/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Base/Key/index.html" }, { "old_path": "doc/LTerm_widget/index.html", "new_path": "doc/lambda-term/LTerm_widget/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-hbox/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-hbox/index.html" }, { "old_path": "doc/LiteralIntf/UTF8/index.html", "new_path": "doc/lambda-term/LiteralIntf/UTF8/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-scrollable_adjustment/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-scrollable_adjustment/index.html" }, { "old_path": "doc/LTerm_style/index.html", "new_path": "doc/lambda-term/LTerm_style/index.html" }, { "old_path": "doc/LTerm_vi/class-edit/index.html", "new_path": "doc/lambda-term/LTerm_vi/class-edit/index.html" }, { "old_path": "doc/LTerm_widget/class-hline/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-hline/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-hscrollbar/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-hscrollbar/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-button/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-button/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/argument-1-LiteralIntf/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/argument-1-LiteralIntf/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/RegisterMap/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/RegisterMap/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-vline/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-vline/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-hslider/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-hslider/index.html" }, { "old_path": "doc/LTerm_text/index.html", "new_path": "doc/lambda-term/LTerm_text/index.html" }, { "old_path": "doc/LTerm_widget/class-scrollable/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-scrollable/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/Resolver/Visual/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/Visual/index.html" }, { "old_path": "doc/LTerm_widget/class-vline/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-vline/index.html" }, { "old_path": "doc/LTerm_scroll_impl/class-hscrollbar/index.html", "new_path": "doc/lambda-term/LTerm_scroll_impl/class-hscrollbar/index.html" }, { "old_path": "doc/LTerm_vi/Vi/Interpret/Resolver/Normal/index.html", "new_path": "doc/lambda-term/LTerm_vi/Vi/Interpret/Resolver/Normal/index.html" }, { "old_path": "doc/LTerm_unix/index.html", "new_path": "doc/lambda-term/LTerm_unix/index.html" }, { "old_path": "doc/LTerm_event/index.html", "new_path": "doc/lambda-term/LTerm_event/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-frame/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-frame/index.html" }, { "old_path": "doc/LTerm_containers_impl/Make/class-type-box/index.html", "new_path": "doc/lambda-term/LTerm_containers_impl/Make/class-type-box/index.html" }, { "old_path": "doc/LTerm_buttons_impl/Make/class-radiogroup/index.html", "new_path": "doc/lambda-term/LTerm_buttons_impl/Make/class-radiogroup/index.html" }, { "old_path": "doc/LTerm_read_line/class-read_line/index.html", "new_path": "doc/lambda-term/LTerm_read_line/class-read_line/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/LTerm_containers/class-abox/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/LTerm_containers/class-abox/index.html" }, { "old_path": "doc/LTerm_widget_impl/Make/class-scrollable/index.html", "new_path": "doc/lambda-term/LTerm_widget_impl/Make/class-scrollable/index.html" }, { "old_path": "doc/LTerm_widget/class-type-box/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-type-box/index.html" }, { "old_path": "doc/LTerm_vi/Concurrent/MsgBox/index.html", "new_path": "doc/lambda-term/LTerm_vi/Concurrent/MsgBox/index.html" }, { "old_path": "doc/LTerm_widget/class-type-scrollable_adjustment/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-type-scrollable_adjustment/index.html" }, { "old_path": "doc/LTerm_widget/class-frame/index.html", "new_path": "doc/lambda-term/LTerm_widget/class-frame/index.html" } ] }