Philippe Waroquiers b66672b48f * compare vgdb-error with n_errs_shown, not with n_errs_found. ...

Using n_errs_shown allows the user to stop on an error
  identified in a previous run by counting errors shown.
* shows also n_errs_shown in monitor command v.info n_errs_found
* slightly clarified the manual, updated to new output of v.info n_errs_found



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12388

2012-02-15 22:29:30 +00:00

..

design-impl.xml

Overhaul design+implementation chapter.

2009-08-07 04:07:20 +00:00

dist-docs.xml

Tweaks for the benefit of the webpage.

2011-11-26 04:12:01 +00:00

FAQ.xml

Remove references to Ptrcheck in the documentation, and replace

2011-06-26 19:57:26 +00:00

index.xml

Very minor changes.

2007-11-25 00:56:51 +00:00

licenses.xml

Post-release changes:

2005-11-27 04:10:00 +00:00

manpages-index.xml

Add a manpage for cg_annotate. Now only valgrind-listener and cg_merge lack

2009-08-07 07:56:20 +00:00

manual-core-adv.xml

* compare vgdb-error with n_errs_shown, not with n_errs_found.

2012-02-15 22:29:30 +00:00

manual-core.xml

Some small doc updating for 3.7.0.

2011-10-27 10:01:17 +00:00

manual-intro.xml

Remove references to Ptrcheck in the documentation, and replace

2011-06-26 19:57:26 +00:00

manual-writing-tools.xml

Overhauled the how-to-write-a-new-tool chapter.

2009-08-07 04:55:15 +00:00

manual.xml

Rename 'exp-ptrcheck' to 'exp-sgcheck' and hope this does not cause

2011-05-11 16:04:28 +00:00

quick-start-guide.xml

Documentation update for 3.6.0 (not including NEWS).

2010-10-13 21:47:29 +00:00

tech-docs.xml

Went over the FAQ. Also tweaked vg-entities.xml a bit.

2009-08-07 02:58:11 +00:00

valgrind-manpage.xml

Mention the --tool option in the manual page. Fixes #249970.

2011-08-15 08:20:53 +00:00

vg-entities.xml

Some small doc updating for 3.7.0.

2011-10-27 10:01:17 +00:00

xml_help.txt

We currently use a mix of <option> and <computeroutput> tags for command

2009-07-30 02:57:52 +00:00