[m-rev.] diff: mdb dump

Zoltan Somogyi zs at csse.unimelb.edu.au
Thu Sep 30 14:24:30 AEST 2010


Make the mdb command "dump" give you a message confirming what it did.

trace/mercur_trace_cmd_browsing.c:
	Make the mdb command "dump" give you a message confirming what it did,
	unless the user gives the new -q or --quiet option.

doc/user_guide.texi:
	Document the new option.

scripts/mdb_grep:
scripts/mdb_open:
	Specify -q to keep old behavior.

tests/debugger/browser_test.{inp,exp,exp3}:
	Update this test case to test the dump command both with and
	without -q.

Zoltan.

cvs diff: Diffing .
cvs diff: Diffing analysis
cvs diff: Diffing bindist
cvs diff: Diffing boehm_gc
cvs diff: Diffing boehm_gc/Mac_files
cvs diff: Diffing boehm_gc/cord
cvs diff: Diffing boehm_gc/cord/private
cvs diff: Diffing boehm_gc/doc
cvs diff: Diffing boehm_gc/extra
cvs diff: Diffing boehm_gc/include
cvs diff: Diffing boehm_gc/include/extra
cvs diff: Diffing boehm_gc/include/private
cvs diff: Diffing boehm_gc/libatomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops/doc
cvs diff: Diffing boehm_gc/libatomic_ops/src
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/armcc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/gcc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/hpc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/ibmc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/icc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/msftc
cvs diff: Diffing boehm_gc/libatomic_ops/src/atomic_ops/sysdeps/sunc
cvs diff: Diffing boehm_gc/libatomic_ops/tests
cvs diff: Diffing boehm_gc/libatomic_ops-1.2
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/doc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/tests
cvs diff: Diffing boehm_gc/m4
cvs diff: Diffing boehm_gc/tests
cvs diff: Diffing browser
cvs diff: Diffing bytecode
cvs diff: Diffing compiler
cvs diff: Diffing compiler/notes
cvs diff: Diffing deep_profiler
cvs diff: Diffing deep_profiler/notes
cvs diff: Diffing doc
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.610
diff -u -b -r1.610 user_guide.texi
--- doc/user_guide.texi	21 Sep 2010 07:43:19 -0000	1.610
+++ doc/user_guide.texi	27 Sep 2010 06:32:56 -0000
@@ -3187,47 +3187,50 @@
 The option @samp{-m} (or @samp{--max}), if present,
 specifies how many differences to print.
 @sp 1
- at item dump [-x] goal @var{filename}
+ at item dump [-qx] goal @var{filename}
 @kindex dump (mdb command)
 Writes the goal of the current call in its present state of instantiation
-to the specified file.
+to the specified file,
+and outputs a message announcing this fact
+unless the option @samp{-q} (or @samp{--quiet}) was given.
 The option @samp{-x} (or @samp{--xml}) causes the output to be in XML.
 @sp 1
- at item dump [-x] exception @var{filename}
-Writes the value of the exception at an EXCP port
-to the specified file.
+ at item dump [-qx] exception @var{filename}
+Writes the value of the exception at an EXCP port to the specified file,
+and outputs a message announcing this fact
+unless the option @samp{-q} (or @samp{--quiet}) was given.
 Reports an error if the current event does not refer to such a port.
-The option @samp{-x} (or @samp{--xml}) causes the
-output to be in XML.
+The option @samp{-x} (or @samp{--xml}) causes the output to be in XML.
 @sp 1
- at item dump [-x] @var{name} @var{filename}
- at itemx dump [-x] @var{num} @var{filename}
+ at item dump [-qx] @var{name} @var{filename}
+ at itemx dump [-qx] @var{num} @var{filename}
 Writes the value of the variable in the current environment
-with the given ordinal number or with the given name
-to the specified file. The option @samp{-x} (or @samp{--xml}) causes the
-output to be in XML.
+with the given ordinal number or with the given name to the specified file,
+and outputs a message announcing this fact
+unless the option @samp{-q} (or @samp{--quiet}) was given.
+The option @samp{-x} (or @samp{--xml}) causes the output to be in XML.
 @sp 1
 @item open @var{term}
 Save @var{term} to a temporary file and open the file in an editor.
-The environment variable EDITOR is consulted to determine what editor to
-use.
+The environment variable EDITOR is consulted to determine what editor to use.
 If this environment variable is not set then @samp{vi} is used.
 @var{term} may be any term that can be saved to a file with the
 @samp{save_to_file} command.
 @sp 1
 @item grep @var{pattern} @var{term}
-Save the given term to a temporary file and perform a grep on the
-file using @var{pattern}.
- at var{term} may be any term that can be saved to a file with the
- at samp{save_to_file} command.
-The unix `grep' command must be available from the shell for this command
-to work.
+Saves the given term to a temporary file
+and invokes grep on the file using @var{pattern}.
+ at var{term} may be any term that can be saved to a file
+with the @samp{save_to_file} command.
+The unix `grep' command must be available from the shell
+for this command to work.
 @c @sp 1
- at c @item dump [-x] proc_body @var{filename}
+ at c @item dump [-qx] proc_body @var{filename}
 @c Writes the representation of the body of the current procedure,
- at c if it is available,
- at c to the specified file. The option @samp{-x} (or @samp{--xml}) causes the
- at c output to be in XML.
+ at c if it is available, to the specified file,
+ at c and outputs a message announcing this fact
+ at c unless the option @samp{-q} (or @samp{--quiet}) was given.
+ at c The option @samp{-x} (or @samp{--xml}) causes the output to be in XML.
 @sp 1
 @item list [@var{num}]
 @kindex list (mdb command)
cvs diff: Diffing extras
cvs diff: Diffing extras/base64
cvs diff: Diffing extras/cgi
cvs diff: Diffing extras/complex_numbers
cvs diff: Diffing extras/complex_numbers/samples
cvs diff: Diffing extras/complex_numbers/tests
cvs diff: Diffing extras/concurrency
cvs diff: Diffing extras/curs
cvs diff: Diffing extras/curs/samples
cvs diff: Diffing extras/curses
cvs diff: Diffing extras/curses/sample
cvs diff: Diffing extras/dynamic_linking
cvs diff: Diffing extras/error
cvs diff: Diffing extras/fixed
cvs diff: Diffing extras/gator
cvs diff: Diffing extras/gator/generations
cvs diff: Diffing extras/gator/generations/1
cvs diff: Diffing extras/graphics
cvs diff: Diffing extras/graphics/easyx
cvs diff: Diffing extras/graphics/easyx/samples
cvs diff: Diffing extras/graphics/mercury_allegro
cvs diff: Diffing extras/graphics/mercury_allegro/examples
cvs diff: Diffing extras/graphics/mercury_allegro/samples
cvs diff: Diffing extras/graphics/mercury_allegro/samples/demo
cvs diff: Diffing extras/graphics/mercury_allegro/samples/mandel
cvs diff: Diffing extras/graphics/mercury_allegro/samples/pendulum2
cvs diff: Diffing extras/graphics/mercury_allegro/samples/speed
cvs diff: Diffing extras/graphics/mercury_cairo
cvs diff: Diffing extras/graphics/mercury_cairo/samples
cvs diff: Diffing extras/graphics/mercury_cairo/samples/data
cvs diff: Diffing extras/graphics/mercury_cairo/tutorial
cvs diff: Diffing extras/graphics/mercury_glut
cvs diff: Diffing extras/graphics/mercury_opengl
cvs diff: Diffing extras/graphics/mercury_tcltk
cvs diff: Diffing extras/graphics/samples
cvs diff: Diffing extras/graphics/samples/calc
cvs diff: Diffing extras/graphics/samples/gears
cvs diff: Diffing extras/graphics/samples/maze
cvs diff: Diffing extras/graphics/samples/pent
cvs diff: Diffing extras/lazy_evaluation
cvs diff: Diffing extras/lex
cvs diff: Diffing extras/lex/samples
cvs diff: Diffing extras/lex/tests
cvs diff: Diffing extras/log4m
cvs diff: Diffing extras/logged_output
cvs diff: Diffing extras/monte
cvs diff: Diffing extras/moose
cvs diff: Diffing extras/moose/samples
cvs diff: Diffing extras/moose/tests
cvs diff: Diffing extras/mopenssl
cvs diff: Diffing extras/morphine
cvs diff: Diffing extras/morphine/non-regression-tests
cvs diff: Diffing extras/morphine/scripts
cvs diff: Diffing extras/morphine/source
cvs diff: Diffing extras/net
cvs diff: Diffing extras/odbc
cvs diff: Diffing extras/posix
cvs diff: Diffing extras/posix/samples
cvs diff: Diffing extras/quickcheck
cvs diff: Diffing extras/quickcheck/tutes
cvs diff: Diffing extras/references
cvs diff: Diffing extras/references/samples
cvs diff: Diffing extras/references/tests
cvs diff: Diffing extras/solver_types
cvs diff: Diffing extras/solver_types/library
cvs diff: Diffing extras/trailed_update
cvs diff: Diffing extras/trailed_update/samples
cvs diff: Diffing extras/trailed_update/tests
cvs diff: Diffing extras/windows_installer_generator
cvs diff: Diffing extras/windows_installer_generator/sample
cvs diff: Diffing extras/windows_installer_generator/sample/images
cvs diff: Diffing extras/xml
cvs diff: Diffing extras/xml/samples
cvs diff: Diffing extras/xml_stylesheets
cvs diff: Diffing java
cvs diff: Diffing java/runtime
cvs diff: Diffing library
cvs diff: Diffing mdbcomp
cvs diff: Diffing profiler
cvs diff: Diffing robdd
cvs diff: Diffing runtime
cvs diff: Diffing runtime/GETOPT
cvs diff: Diffing runtime/machdeps
cvs diff: Diffing samples
cvs diff: Diffing samples/c_interface
cvs diff: Diffing samples/c_interface/c_calls_mercury
cvs diff: Diffing samples/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/mercury_calls_c
cvs diff: Diffing samples/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/standalone_c
cvs diff: Diffing samples/diff
cvs diff: Diffing samples/java_interface
cvs diff: Diffing samples/java_interface/java_calls_mercury
cvs diff: Diffing samples/java_interface/mercury_calls_java
cvs diff: Diffing samples/muz
cvs diff: Diffing samples/rot13
cvs diff: Diffing samples/solutions
cvs diff: Diffing samples/solver_types
cvs diff: Diffing samples/tests
cvs diff: Diffing samples/tests/c_interface
cvs diff: Diffing samples/tests/c_interface/c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/tests/c_interface/mercury_calls_c
cvs diff: Diffing samples/tests/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/tests/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/tests/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/tests/diff
cvs diff: Diffing samples/tests/muz
cvs diff: Diffing samples/tests/rot13
cvs diff: Diffing samples/tests/solutions
cvs diff: Diffing samples/tests/toplevel
cvs diff: Diffing scripts
Index: scripts/mdb_grep
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/mdb_grep,v
retrieving revision 1.3
diff -u -b -r1.3 mdb_grep
--- scripts/mdb_grep	19 Jun 2007 03:12:48 -0000	1.3
+++ scripts/mdb_grep	18 Aug 2010 13:49:43 -0000
@@ -3,6 +3,6 @@
 # $1 is a regular expression to search for.
 # $2 is any valid term reference accepted by the dump command.
 #
-dump $2 .mdb_grep_tmp
+dump -q $2 .mdb_grep_tmp
 shell grep $1 .mdb_grep_tmp
 shell rm .mdb_grep_tmp
Index: scripts/mdb_open
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/mdb_open,v
retrieving revision 1.3
diff -u -b -r1.3 mdb_open
--- scripts/mdb_open	19 Jun 2007 03:12:48 -0000	1.3
+++ scripts/mdb_open	18 Aug 2010 13:49:43 -0000
@@ -2,6 +2,6 @@
 # editor.
 # $1 is any valid term reference accepted by the dump command.
 #
-dump $1 .mdb_open_tmp
+dump -q $1 .mdb_open_tmp
 shell ${EDITOR-vi} .mdb_open_tmp
 shell rm .mdb_open_tmp
cvs diff: Diffing slice
cvs diff: Diffing ssdb
cvs diff: Diffing tests
cvs diff: Diffing tests/analysis
cvs diff: Diffing tests/analysis/ctgc
cvs diff: Diffing tests/analysis/excp
cvs diff: Diffing tests/analysis/ext
cvs diff: Diffing tests/analysis/sharing
cvs diff: Diffing tests/analysis/table
cvs diff: Diffing tests/analysis/trail
cvs diff: Diffing tests/analysis/unused_args
cvs diff: Diffing tests/benchmarks
cvs diff: Diffing tests/debugger
Index: tests/debugger/browser_test.exp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/browser_test.exp,v
retrieving revision 1.29
diff -u -b -r1.29 browser_test.exp
--- tests/debugger/browser_test.exp	22 Aug 2007 22:36:18 -0000	1.29
+++ tests/debugger/browser_test.exp	30 Sep 2010 00:32:05 -0000
@@ -17,7 +17,7 @@
       E3:     C2 EXIT pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20)
 mdb> delete *
  0: E stop  interface pred browser_test.big_data/1-0 (det)
-mdb> dump 1 browser_test.save.1
+mdb> dump -q 1 browser_test.save.1
 mdb> format raw_pretty
 mdb> print *
        Data (arg 1)           	
@@ -204,6 +204,7 @@
 mdb> finish
       E5:     C3 EXIT pred browser_test.list_data/1-0 (det) browser_test.m:66 (browser_test.m:23)
 mdb> dump Data browser_test.save.2
+Dumped Data to browser_test.save.2
 mdb> break a_func
  1: + stop  interface func browser_test.a_func/1-0 (det)
 mdb> continue
Index: tests/debugger/browser_test.exp3
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/browser_test.exp3,v
retrieving revision 1.3
diff -u -b -r1.3 browser_test.exp3
--- tests/debugger/browser_test.exp3	5 Dec 2008 07:18:07 -0000	1.3
+++ tests/debugger/browser_test.exp3	30 Sep 2010 00:32:11 -0000
@@ -11,7 +11,7 @@
       E3:     C2 EXIT pred browser_test.big_data/1-0 (det) browser_test.m:37 (browser_test.m:20)
 mdb> delete *
  0: E stop  interface pred browser_test.big_data/1-0 (det)
-mdb> dump 1 browser_test.save.1
+mdb> dump -q 1 browser_test.save.1
 mdb> format raw_pretty
 mdb> print *
        Data (arg 1)           	
@@ -189,6 +189,7 @@
 mdb> finish
       E5:     C3 EXIT pred browser_test.list_data/1-0 (det) browser_test.m:66 (browser_test.m:23)
 mdb> dump Data browser_test.save.2
+Dumped Data to browser_test.save.2
 mdb> break a_func
  1: + stop  interface func browser_test.a_func/1-0 (det)
 mdb> continue
Index: tests/debugger/browser_test.inp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/browser_test.inp,v
retrieving revision 1.17
diff -u -b -r1.17 browser_test.inp
--- tests/debugger/browser_test.inp	18 Aug 2006 07:19:48 -0000	1.17
+++ tests/debugger/browser_test.inp	28 Sep 2010 07:25:01 -0000
@@ -5,7 +5,7 @@
 continue
 finish
 delete *
-dump 1 browser_test.save.1
+dump -q 1 browser_test.save.1
 format raw_pretty
 print *
 format -A verbose
cvs diff: Diffing tests/debugger/declarative
cvs diff: Diffing tests/dppd
cvs diff: Diffing tests/general
cvs diff: Diffing tests/general/accumulator
cvs diff: Diffing tests/general/string_format
cvs diff: Diffing tests/general/structure_reuse
cvs diff: Diffing tests/grade_subdirs
cvs diff: Diffing tests/hard_coded
cvs diff: Diffing tests/hard_coded/exceptions
cvs diff: Diffing tests/hard_coded/purity
cvs diff: Diffing tests/hard_coded/sub-modules
cvs diff: Diffing tests/hard_coded/typeclasses
cvs diff: Diffing tests/invalid
cvs diff: Diffing tests/invalid/purity
cvs diff: Diffing tests/misc_tests
cvs diff: Diffing tests/mmc_make
cvs diff: Diffing tests/mmc_make/lib
cvs diff: Diffing tests/par_conj
cvs diff: Diffing tests/recompilation
cvs diff: Diffing tests/stm
cvs diff: Diffing tests/stm/orig
cvs diff: Diffing tests/stm/orig/stm-compiler
cvs diff: Diffing tests/stm/orig/stm-compiler/test1
cvs diff: Diffing tests/stm/orig/stm-compiler/test10
cvs diff: Diffing tests/stm/orig/stm-compiler/test2
cvs diff: Diffing tests/stm/orig/stm-compiler/test3
cvs diff: Diffing tests/stm/orig/stm-compiler/test4
cvs diff: Diffing tests/stm/orig/stm-compiler/test5
cvs diff: Diffing tests/stm/orig/stm-compiler/test6
cvs diff: Diffing tests/stm/orig/stm-compiler/test7
cvs diff: Diffing tests/stm/orig/stm-compiler/test8
cvs diff: Diffing tests/stm/orig/stm-compiler/test9
cvs diff: Diffing tests/stm/orig/stm-compiler-par
cvs diff: Diffing tests/stm/orig/stm-compiler-par/bm1
cvs diff: Diffing tests/stm/orig/stm-compiler-par/bm2
cvs diff: Diffing tests/stm/orig/stm-compiler-par/stmqueue
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test1
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test10
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test11
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test2
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test3
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test4
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test5
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test6
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test7
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test8
cvs diff: Diffing tests/stm/orig/stm-compiler-par/test9
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test1
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test2
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test3
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test4
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test5
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test6
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test7
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test8
cvs diff: Diffing tests/stm/orig/stm-compiler-par-asm_fast/test9
cvs diff: Diffing tests/tabling
cvs diff: Diffing tests/term
cvs diff: Diffing tests/trailing
cvs diff: Diffing tests/valid
cvs diff: Diffing tests/warnings
cvs diff: Diffing tools
cvs diff: Diffing trace
Index: trace/mercury_trace_cmd_browsing.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_cmd_browsing.c,v
retrieving revision 1.11
diff -u -b -r1.11 mercury_trace_cmd_browsing.c
--- trace/mercury_trace_cmd_browsing.c	25 Nov 2008 07:46:56 -0000	1.11
+++ trace/mercury_trace_cmd_browsing.c	18 Aug 2010 13:50:18 -0000
@@ -79,7 +79,7 @@
                         int *word_count);
 static  MR_bool     MR_trace_options_diff(MR_Unsigned *start,
                         MR_Unsigned *max, char ***words, int *word_count);
-static  MR_bool     MR_trace_options_dump(MR_bool *xml,
+static  MR_bool     MR_trace_options_dump(MR_bool *quiet, MR_bool *xml,
                         char ***words, int *word_count);
 
 /****************************************************************************/
@@ -651,6 +651,7 @@
     MR_bool         verbose = MR_FALSE;
     MR_Word         browser_term;
     const char      *problem = NULL;
+    MR_bool         quiet = MR_FALSE;
     MR_bool         xml = MR_FALSE;
 
     /*
@@ -658,7 +659,7 @@
     */
     browser_term = (MR_Word) NULL;
 
-    if (! MR_trace_options_dump(&xml, &words, &word_count)) {
+    if (! MR_trace_options_dump(&quiet, &xml, &words, &word_count)) {
         ; /* the usage message has already been printed */
     } else if (word_count != 3) {
         MR_trace_usage_cur_cmd();
@@ -722,6 +723,10 @@
             } else {
                 MR_trace_save_term(words[2], browser_term);
             }
+
+            if (!quiet) {
+                fprintf(MR_mdb_out, "Dumped %s to %s\n", words[1], words[2]);
+            }
         }
     }
 
@@ -1389,21 +1394,27 @@
 
 static struct MR_option MR_trace_dump_opts[] =
 {
+    { "quiet",      MR_no_argument,     NULL,   'q' },
     { "xml",        MR_no_argument,     NULL,   'x' },
     { NULL,         MR_no_argument,     NULL,   0   }
 };
 
 static MR_bool
-MR_trace_options_dump(MR_bool *xml, char ***words, int *word_count)
+MR_trace_options_dump(MR_bool *quiet, MR_bool *xml,
+    char ***words, int *word_count)
 {
     int c;
 
     MR_optind = 0;
-    while ((c = MR_getopt_long(*word_count, *words, "x",
+    while ((c = MR_getopt_long(*word_count, *words, "qx",
         MR_trace_dump_opts, NULL)) != EOF)
     {
         switch (c) {
 
+            case 'q':
+                *quiet = MR_TRUE;
+                break;
+
             case 'x':
                 *xml = MR_TRUE;
                 break;
cvs diff: Diffing util
cvs diff: Diffing vim
cvs diff: Diffing vim/after
cvs diff: Diffing vim/ftplugin
cvs diff: Diffing vim/syntax
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list