David Jeffery e98c0a5b6f Merge changes to the main branch from the last month or so onto the HAL ...

Estimated hours taken: 40

Merge changes to the main branch from the last month or so onto the HAL
branch.

Some of the support for the .se and .init grades has also been removed in
this merge. These grades are no longer needed and keeping them working would
have required quite a bit of extra work in this merge.

Note that I have added superfluous entries to the .nocopyright files in a lot
of directories to save time --- this branch will die soon anyway, so there's
no point spending the time to keep the copyright messages up to date.

2001-02-05 05:39:14 +00:00

..

.cvsignore

Merged in the changes on the main trunk between

2000-01-12 05:45:45 +00:00

.nocopyright

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

c2init.in

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

canonical_grade.in

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

canonical_grade.sh-subr

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

final_grade_options.sh-subr

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

fullarch

…

gud.el

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

init_grade_options.sh-subr

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

mdb.in

Merged in the changes between tag trunk_snapshot_19981123164219 and tag

1999-02-09 05:14:12 +00:00

mdbrc.in

Synchronise the HAL branch with the main branch.

2000-09-21 01:29:35 +00:00

mercury_cleanup_install

Synchronise the HAL branch with the main branch.

2000-09-21 01:29:35 +00:00

mercury_update_interface.in

…

mgnuc.in

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

mkfifo_using_mknod.in

…

ml.in

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

mmake.in

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

Mmake.rules

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

Mmake.vars.in

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

Mmakefile

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

mmc.in

Bring the HAL branch into sync with the main branch again.

2000-09-27 04:00:59 +00:00

mprof_merge_runs

Merged in the changes between tag trunk_snapshot_19981123164219 and tag

1999-02-09 05:14:12 +00:00

mprof.in

…

mtags

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

parse_grade_options.sh-subr

Merge changes to the main branch from the last month or so onto the HAL

2001-02-05 05:39:14 +00:00

rs6000_hack

…

sicstus_conv.in

…

vpath_find

…