svninfo is used to extract the revision and file information provided by the Subversion revision control system. To present the version information of a document, one needs to extract it from some kind of text inserted by the revision control system. Subversion offers therefore the Id keyword, which is expanded by the Subversion update command and contains a lot of useful information. This information is made available through this package.
HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data. Automatic generation of test harnesses (in SML) is supported, and using a foreign language interface, implementations in arbitrary languages (e.g. C) can be tested.