Julien Fischer 8ef9073be2 Delete remaining references to --use-trail-segments. ...

doc/user_guide.texi:
extras/trailed_update/samples/Mmakefile:
extras/trailed_update/tests/Mmakefile:
samples/solver_types/Mercury.options:
scripts/init_grade_options.sh-subr:
    As above.

RELEASE_NOTES_NEXT:
    Delete item concerning the above.

2022-04-18 21:45:15 +10:00

..

.gitignore

…

.nocopyright

…

32px.png

…

40px.png

…

c2init.in

…

canonical_grade.in

…

canonical_grade.sh-subr

…

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

Delete remaining references to --use-trail-segments.

2022-04-18 21:45:15 +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

…

mdb.in

…

mdbrc.in

…

mdprof.in

…

mercury_compile.sh-csharp

…

mercury_compile.sh-java

…

mercury_config.in

…

mercury_update_interface.in

…

mercury.bat.in

…

Mercury.config.bootstrap.in

Delete erlang options from Mercury.config files.

2021-06-07 16:53:40 +10:00

Mercury.config.in

Delete erlang options from Mercury.config files.

2021-06-07 16:53:40 +10:00

mercury.in

…

mfilterjavac.sh-java

…

mgnuc_file_opts.sh-subr

…

mgnuc.in

Avoid spurious warnings from GCC.

2022-03-05 22:39:10 +11:00

mkfifo_using_mknod.in

…

ml.in

Fix github issue #101.

2022-03-13 05:06:43 +11:00

mmake.in

…

Mmake.rules

Shut up mmake actions for check_namespace.

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

Mmake.vars.in

…

Mmakefile

Shut up mmake actions for check_namespace.

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

mmc.in

…

mprof_merge_runs

…

mprof.bat.in

…

mprof.in

…

mtags.in

…

mtc

…

parse_grade_options.sh-subr

Delete the trseg component and --trail-segments option.

2022-04-05 17:02:40 +10:00

parse_ml_options.sh-subr.in

…

prepare_install_dir.in

…

rs6000_hack

…

throbber.gif

…

vpath_find

…