Zoltan Somogyi 337471d25a Stop generating duplicate tags for nearby locations. ...

scripts/mtags.in:
    If we are considering generating a duplicate tag, do not generate it
    if the new location and the old are within five lines of each other.

    To make this change possible, simplify the logic that deals with
    duplicate tags.

2025-08-12 07:01:42 +02: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

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02:00

canonical_grade.sh-subr

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02:00

compare_s1s2_lib

…

final_grade_options.sh-subr

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02:00

gud.el

…

init_grade_options.sh-subr

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02: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

Fix indentation.

2025-07-12 14:53:00 +02: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.in

Delete scripts/Mercury.config.bootstrap.in.

2025-06-25 08:12:11 +02: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

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02:00

mgnuc.in

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02:00

mkfifo_using_mknod.in

Update the programming style of yet more scripts.

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

ml.in

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +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

Partially clarify and partially fix d_file_deps.

2025-08-11 10:51:29 +02:00

Mmake.rules

Make a start on library installs via mmake.

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

Mmake.vars.in

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02:00

Mmakefile

Delete scripts/Mercury.config.bootstrap.in.

2025-06-25 08:12:11 +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

Stop generating duplicate tags for nearby locations.

2025-08-12 07:01:42 +02:00

mtc

…

parse_grade_options.sh-subr

Rename and generalize .c_debug to .target_debug.

2025-08-09 21:48:23 +02: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

…