Zoltan Somogyi 8f0d3d7239 Built .int3 files before .int/.int2.

2023-10-10 00:09:24 +11:00

..

.gitignore

Ignore *.obj files.

2023-06-26 20:05:24 +10:00

.mgnuc_copts

…

.mgnuc_opts

Compile everything with --halt-at-warn-if-possible.

2018-08-02 14:45:42 +10:00

.nocopyright

…

browse_test.m

Add end_module declarations ...

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

browse.m

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02:00

browser_info.m

Improve the programming style of browser/browse.m.

2023-08-01 00:42:47 +02: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

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +10:00

declarative_analyser.m

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +10:00

declarative_debugger.m

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +10:00

declarative_edt.m

Add end_module declarations ...

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

declarative_execution.m

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +10:00

declarative_oracle.m

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +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

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02: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

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +10:00

interactive_query.m

Move base of term_io.m to X_to_string, write_X, format_X.

2023-07-04 00:00:09 +02:00

io_action.m

Avoid a warning from MSVC.

2023-07-23 15:16:28 +10:00

listing.m

Introduce io.system_error to io.m public interface.

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

MDB_FLAGS.in

Stop using higher order insts as modes.

2023-08-15 00:19:34 +02:00

mdb.m

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02:00

mer_browser.m

Improve programming style in the browser directory.

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

Mercury.options

Use += instead of = to set MCFLAGS-modulename.

2023-10-06 00:04:07 +11:00

Mmakefile

Built .int3 files before .int/.int2.

2023-10-10 00:09:24 +11:00

name_mangle.m

Improve programming style in the browser directory.

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

parse.m

Improve the programming style of browser/browse.m.

2023-08-01 00:42:47 +02:00

percent_encoding.m

Improve programming style in the browser directory.

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

print_term.m

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02:00

RESERVED_MACRO_NAMES

…

save_term.m

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02:00

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_paths.m

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02:00

term_rep.m

Improve programming style in the browser directory.

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

term_to_html.m

Carve three new modules out of browser/browse.m.

2023-08-01 04:15:22 +02:00

tree234_cc.m

Improve programming style in the browser directory.

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

util.m

s/input_stream/text_input_stream/ ...

2023-04-24 14:59:20 +10:00