-
Attached is a patch to pull out the common functions used by many of the XSL report generation stylesheets, and make them be shared across all the scripts.
Additionally, the patch fixes the checkstyle-author.xsl to group the error results by author, to show error results for files with unknown authors, and to list all authors, and not just those who need to apply fixes. Attached is the result...
2009-04-05 13:28:08 UTC in checkstyle
-
Cobertura should support the recently added antlib mechanism for defining and importing ant tasks. Antlib files are compatible with the existing tasks.properties, so you could have both mechanisms in the jar to define tasks.
Attached is an antlib.xml which does just this for all cobertura tasks. If added to the cobertura jar file under net/sourceforge/cobertura/ant (that is, the package where...
2008-11-13 00:54:15 UTC in Cobertura
-
This patch adds support for the XML Commons Resolver (or others) through a new "entityresolver" configuration option of DiffMk. Also made DiffMk print usage when run with no arguments (since throwing up a stack trace in this case was ... unhelpful).
Also fixes a bug in Serializer.java where attribute values were not being escaped, leading to invalid XML being emitted.
Removed the docbook...
2008-03-31 07:24:00 UTC in DiffMk
-
When running the following proof in Kananaskis-4 (built Tue Jan 02 21:53:07 2007, Windows, running hol.bat), the call never returns:
val EXP_2 = Q.prove
(`!n:num. n**2 = n*n`,
RW_TAC arith_ss [EXP,MULT_CLAUSES,TWO,ONE]);
However, the less sophisticated proof below succeeds:
val EXP_2_a = Q.prove
(`!n:num. n**2 = n*n`,
STRIP_TAC THEN REWRITE_TAC [EXP,MULT_CLAUSES,TWO,ONE]
THEN...
2007-04-21 02:45:11 UTC in HOL theorem-proving system
