History log of /seL4-l4v-master/HOL4/src/compute/Manual/description.tex
Revision Date Author Comments
# b7681c5d 23-Feb-2015 Piotr Trojanek <piotr.trojanek@gmail.com>

compute: minor grammar fixes in (unused) manual


# a30701a7 20-Oct-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove trailing white-space in a bunch of .tex files.

These are all in src/ and are probably both out-of-date and candidates for removal.


# a011c8ce 07-Jan-2001 Konrad Slind <konrad.slind@gmail.com>

Minor changes.


# 20f509c9 08-Dec-1999 Bruno Barras <barras@lix.polytechnique.fr>

removed the boolean on from_list and add_thms


# 2a1c94b6 26-Oct-1999 Bruno Barras <barras@lix.polytechnique.fr>

improved documentation


# 9eb1f217 14-Oct-1999 Bruno Barras <barras@lix.polytechnique.fr>

*** empty log message ***


# 85672456 01-Oct-1999 Bruno Barras <barras@lix.polytechnique.fr>

added Manual subdirectory in the compute library