doc-src/Codegen/IsaMakefile
Tue, 28 Sep 2010 09:43:13 +0200 krauss added dependency to base images to ensure that the doc test actually rebuilds the tutorials
Tue, 21 Sep 2010 15:46:05 +0200 haftmann tuned whitespace
Wed, 18 Aug 2010 09:46:58 +0200 haftmann base on HOL-Library
less more (0) -3 tip