Zoltan Somogyi e7ac62c1ec Prevent "dump -p" in mdb from truncating terms.

2022-11-30 02:19:55 +11:00

..

.gitignore

…

.mgnuc_copts

…

.mgnuc_opts

…

.nocopyright

…

browse_test.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

browse.m

Prevent "dump -p" in mdb from truncating terms.

2022-11-30 02:19:55 +11:00

browser_info.m

Carve io.stream_db.m out of io.m.

2022-03-11 18:13:28 +11:00

browser_term.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

collect_lib.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

cterm.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

debugger_interface.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

declarative_analyser.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

declarative_debugger.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

declarative_edt.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

declarative_execution.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

declarative_oracle.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

declarative_test.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

declarative_tree.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

declarative_user.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

diff.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

dl.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

frame.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

help.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

interactive_query.m

Carve four modules out of term.m.

2022-08-21 01:01:21 +10:00

io_action.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

listing.m

Introduce io.system_error to io.m public interface.

2022-08-23 16:39:48 +10:00

MDB_FLAGS.in

…

mdb.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

mer_browser.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

Mercury.options

…

Mmakefile

…

name_mangle.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

parse.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

percent_encoding.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

RESERVED_MACRO_NAMES

…

set_cc.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

sized_pretty.m

Add end_module declarations ...

2022-01-09 10:36:15 +11:00

term_rep.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

term_to_html.m

…

tree234_cc.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00

util.m

Improve programming style in the browser directory.

2022-07-03 13:55:54 +10:00