%FILES%
opt/
opt/mrpython/
opt/mrpython/Application.py
opt/mrpython/Bindings.py
opt/mrpython/Checkfile.py
opt/mrpython/Delegator.py
opt/mrpython/EnvironmentNodeVisitor.py
opt/mrpython/FullRunner.py
opt/mrpython/IdleHistory.py
opt/mrpython/PyInterpreter.py
opt/mrpython/PyParse.py
opt/mrpython/RunReport.py
opt/mrpython/RunReport.py~
opt/mrpython/Search/
opt/mrpython/Search/GrepDialog.py
opt/mrpython/Search/ReplaceDialog.py
opt/mrpython/Search/SearchDialog.py
opt/mrpython/Search/SearchDialogBase.py
opt/mrpython/Search/SearchEngine.py
opt/mrpython/Search/__init__.py
opt/mrpython/Specification.py
opt/mrpython/StudentRunner.py
opt/mrpython/__init__.py
opt/mrpython/aa_pstl/
opt/mrpython/aa_pstl/01_moyenne3nb.py
opt/mrpython/aa_pstl/02_prix_ttc.py
opt/mrpython/aa_pstl/03_polynome.py
opt/mrpython/aa_pstl/aire_apres.py
opt/mrpython/aa_pstl/aire_apres2.py
opt/mrpython/aa_pstl/aire_avant.py
opt/mrpython/aa_pstl/aire_mixte.py
opt/mrpython/aa_pstl/declaration.py
opt/mrpython/aa_pstl/ex1.py
opt/mrpython/config-extensions.def
opt/mrpython/config-highlight.def
opt/mrpython/config-keys.def
opt/mrpython/config-main.def
opt/mrpython/config-version.def
opt/mrpython/configHandler.py
opt/mrpython/gui/
opt/mrpython/gui/CloseableNotebook.py
opt/mrpython/gui/ColorDelegator.py
opt/mrpython/gui/Console.py
opt/mrpython/gui/HighlightingText.py
opt/mrpython/gui/HyperlinkManager.py
opt/mrpython/gui/IOBinding.py
opt/mrpython/gui/MainView.py
opt/mrpython/gui/MenuManager.py
opt/mrpython/gui/ModifiedColorDelegator.py
opt/mrpython/gui/ModifiedUndoDelegator.py
opt/mrpython/gui/Percolator.py
opt/mrpython/gui/PyEditor.py
opt/mrpython/gui/PyEditorFrame.py
opt/mrpython/gui/PyEditorList.py
opt/mrpython/gui/PyEditorWidget.py
opt/mrpython/gui/PyIconWidget.py
opt/mrpython/gui/StatusBar.py
opt/mrpython/gui/TextLineNumbers.py
opt/mrpython/gui/UndoDelegator.py
opt/mrpython/gui/WidgetRedirector.py
opt/mrpython/gui/icons/
opt/mrpython/gui/icons/LICENSE-2.0.txt
opt/mrpython/gui/icons/close.gif
opt/mrpython/gui/icons/new_file_icon.gif
opt/mrpython/gui/icons/new_file_icon2.gif
opt/mrpython/gui/icons/new_file_icon3.gif
opt/mrpython/gui/icons/new_file_icon4.gif
opt/mrpython/gui/icons/open_icon.gif
opt/mrpython/gui/icons/open_icon2.gif
opt/mrpython/gui/icons/pro_icon.gif
opt/mrpython/gui/icons/pro_icon2.gif
opt/mrpython/gui/icons/pro_icon3.gif
opt/mrpython/gui/icons/run_icon.gif
opt/mrpython/gui/icons/run_icon2.gif
opt/mrpython/gui/icons/save_icon.gif
opt/mrpython/gui/icons/save_icon2.gif
opt/mrpython/gui/icons/stop_icon.gif
opt/mrpython/gui/icons/stop_icon2.gif
opt/mrpython/gui/icons/student_icon.gif
opt/mrpython/gui/icons/student_icon2.gif
opt/mrpython/gui/tooltip.py
opt/mrpython/interpreter_output
opt/mrpython/rpc.py
opt/mrpython/studentlib/
opt/mrpython/studentlib/gfx/
opt/mrpython/studentlib/gfx/image.py
opt/mrpython/studentlib/gfx/img_canvas.py
opt/mrpython/studentlib/gfx/run_image.py
opt/mrpython/translate.py
opt/mrpython/typechecking/
opt/mrpython/typechecking/__init__.py
opt/mrpython/typechecking/astpp.py
opt/mrpython/typechecking/prog_ast.py
opt/mrpython/typechecking/side_effects_utils.py
opt/mrpython/typechecking/translate.py
opt/mrpython/typechecking/type_ast.py
opt/mrpython/typechecking/type_converter.py
opt/mrpython/typechecking/typechecker.py
opt/mrpython/version.py
usr/
usr/bin/
usr/bin/mrpython
usr/share/
usr/share/applications/
usr/share/applications/mrpython.desktop
usr/share/licenses/
usr/share/licenses/mrpython/
usr/share/licenses/mrpython/LICENSE.python
