Zoltan Somogyi 4e90f2d238 Update the programming style of yet more scripts.

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

..

.gitignore

Add mercury script to .gitignore.

2020-06-27 15:06:21 +10:00

.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

Rename the .ll_debug grade component to .c_debug.

2022-12-29 20:33:08 +11:00

compare_s1s2_lib

…

final_grade_options.sh-subr

Generate diagnostics for .par.mm grades.

2021-06-13 21:41:56 +10:00

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

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mdb.in

Update the programming style of some scripts.

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

mdbrc.in

Delete support for browsing terms as XML.

2020-10-14 17:41:54 +11:00

mdprof.in

Update the programming style of yet more scripts.

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

mercury_compile.sh-csharp

…

mercury_compile.sh-java

…

mercury_config.in

Update the programming style of some scripts.

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

mercury_update_interface.in

Update the programming style of some scripts.

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

mercury.bat.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

Mercury.config.bootstrap.in

Delete --fullarch.

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

Mercury.config.in

Delete --fullarch.

2023-09-07 11:47:38 +10: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

Deprecate --no-ansi and --no-ansi-c.

2023-05-31 17:44:26 +10:00

mgnuc.in

Update the programming style of some scripts.

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

mkfifo_using_mknod.in

Update the programming style of yet more scripts.

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

ml.in

Update the programming style of some scripts.

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

mmake.in

Update the programming style of more scripts.

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

Mmake.rules

Shut up mmake actions for check_namespace.

2022-01-24 17:38:35 +11:00

Mmake.vars.in

Fix out-of-date references to changed subdir names.

2023-09-06 19:47:06 +10:00

Mmakefile

Fix the debugger tests with MSYS2/MinGW64.

2023-07-26 21:24:28 +10:00

mmc.in

Update the programming style of more scripts.

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

mprof_merge_runs

Delete MERCURY_OPTIONS -a -r -t options.

2023-07-14 11:03:03 +10:00

mprof.bat.in

…

mprof.in

Update the programming style of yet more scripts.

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

mtags.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mtc

Build the man page for mtc.

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

parse_grade_options.sh-subr

Rename the .ll_debug grade component to .c_debug.

2022-12-29 20:33:08 +11:00

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

…