Deolingo editor

benchmark/example1.lp benchmark/example2.lp benchmark/example3.lp benchmark/example4.lp benchmark/example5.lp benchmark/example6.lp benchmark/example7.lp benchmark/example8.lp delx/example1.1.lp delx/example1.2.lp delx/example2.lp delx/example3.lp delx/example4.lp delx/example5.1.lp delx/example5.2.lp delx/example6.1.lp delx/example6.2.alt.lp delx/example6.2.lp delxx/example1.1.lp delxx/example1.2.lp delxx/example2.lp delxx/example3.lp delxx/example4.lp delxx/example5.1.lp delxx/example5.2.lp delxx/example6.1.lp delxx/example6.2.lp other/detachment.lp other/traffic120.lp other/udhr.lp plato/chisholms_puzzle.alt.lp plato/chisholms_puzzle.alt2.lp plato/chisholms_puzzle_path1.lp plato/chisholms_puzzle_path2.lp plato/chisholms_puzzle_path3.lp plato/chisholms_puzzle_x.lp plato/chisholms_puzzle_x2.lp preliminary/example1.lp preliminary/example2.lp preliminary/example3.lp preliminary/example4.lp preliminary/example5.lp real/udc_library.case1.1.lp real/udc_library.case1.2.lp real/udc_library.case1.3.lp real/udc_library.case1.lp real/udc_library.kb.lp telingo/example1.lp xclingo/dont_drive_drunk.1.lp xclingo/dont_drive_drunk.2.lp xclingo/dont_drive_drunk.lp xclingo/example1.lp xclingo/example2.lp xclingo/example4.lp