CookBook/Recipes/TimeLimit.thy
2009-03-02 Christian Urban tuned
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-01-30 boehmes rewrote recipes describing external solvers
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
2009-01-14 Christian Urban highligted the background of ML-code
2009-01-14 Christian Urban added more to the "new command section" and tuning
2009-01-12 Christian Urban tuned
2009-01-08 Christian Urban tuned
2009-01-07 boehmes Added four recipes.
less more (0) tip