Julien Fischer b7233ff507 Minor fixes for profiler documentation. ...

profiler/mercury_profile.m:
    Fix some comments.

profiler/options.m:
    Add a missing period.

2026-02-18 13:51:47 +11:00

..

.gitignore

…

.mgnuc_copts

…

.mgnuc_opts

…

.nocopyright

…

atsort_callgraph.m

…

call_graph.m

…

demangle_test.m

…

demangle.m

…

generate_output.m

…

globals.m

…

mercury_profile.m

Minor fixes for profiler documentation.

2026-02-18 13:51:47 +11:00

Mercury.options

Use spaces in all Mercury.options files.

2025-12-06 10:39:04 +11:00

Mmakefile

…

options.m

Minor fixes for profiler documentation.

2026-02-18 13:51:47 +11:00

output_prof_info.m

…

output.m

Fix a persistent spelling error.

2025-07-02 12:19:45 +02:00

process_file.m

…

prof_debug.m

…

PROF_FLAGS.in

Make stage 1 C# executables work with Mono.

2025-08-02 15:07:25 +10:00

prof_info.m

…

propagate.m

…

read.m

…

snapshots.m

…