Julien Fischer f27bd73f5d Delete left over references to Native.java. ...

java/runtime/.gitignore:
scripts/mercury_config.in:
    As above.

2025-01-21 21:05:59 +11:00

..

.gitignore

…

.nocopyright

…

32px.png

…

40px.png

…

c2init.in

Update the programming style of more scripts.

2023-10-01 21:02:18 +11:00

canonical_grade.in

Update the programming style of yet more scripts.

2023-10-02 15:02:53 +11:00

canonical_grade.sh-subr

…

compare_s1s2_lib

…

final_grade_options.sh-subr

…

gud.el

…

init_grade_options.sh-subr

Update the programming style of some scripts.

2023-09-30 23:36:03 +10:00

jquery.slim.js

…

jstree.js

…

jstree.style.css

…

mdb_grep

…

mdb_open

…

mdb_term_browser.css

…

mdb_term_browser.js

…

mdb_track

…

mdb.bat.in

Fix a problem using mdb from cmd.exe on Windows.

2024-01-12 18:19:21 +11:00

mdb.in

Update the programming style of some scripts.

2023-09-30 23:36:03 +10:00

mdbrc.in

…

mdprof.in

Update the programming style of yet more scripts.

2023-10-02 15:02:53 +11:00

mercury_compile.sh-csharp

Change the path of the default CLI interpreter.

2024-01-09 02:03:14 +11:00

mercury_compile.sh-java

…

mercury_config.in

Delete left over references to Native.java.

2025-01-21 21:05:59 +11:00

mercury_update_interface.in

Update the programming style of some scripts.

2023-09-30 23:36:03 +10:00

mercury.bat.in

Fix a problem using mdb from cmd.exe on Windows.

2024-01-12 18:19:21 +11:00

Mercury.config.bootstrap.in

Delete --fullarch.

2023-09-07 11:47:38 +10:00

Mercury.config.in

Add configuration option to enable internal file copying.

2024-01-14 17:02:59 +11:00

mercury.in

Update the programming style of more scripts.

2023-10-01 21:02:18 +11:00

mfilterjavac.sh-java

…

mgnuc_file_opts.sh-subr

…

mgnuc.in

Align functions on word boundaries with clang.

2024-05-04 17:15:51 +10:00

mkfifo_using_mknod.in

Update the programming style of yet more scripts.

2023-10-02 15:02:53 +11:00

ml.in

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

mmake_grade_test

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

mmake_grade_test_test

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

mmake.in

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

Mmake.rules

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

Mmake.vars.in

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

Mmakefile

Make a start on library installs via mmake.

2024-10-05 14:13:25 +02:00

mmc.in

Update the programming style of more scripts.

2023-10-01 21:02:18 +11:00

mprof_merge_runs

Update and fix copyright notices.

2024-12-30 20:17:22 +11:00

mprof.bat.in

Fix a problem using mdb from cmd.exe on Windows.

2024-01-12 18:19:21 +11:00

mprof.in

Update the programming style of yet more scripts.

2023-10-02 15:02:53 +11:00

mtags.in

…

mtc

Build the man page for mtc.

2023-09-22 23:13:22 +10:00

parse_grade_options.sh-subr

…

parse_ml_options.sh-subr.in

Update the programming style of some scripts.

2023-09-30 23:36:03 +10:00

prepare_install_dir.in

Update the programming style of more scripts.

2023-10-01 21:02:18 +11:00

rs6000_hack

…

throbber.gif

…

vpath_find

…