Merging master.
Simplifying Makefile rules.
Simplifying Makefile rules.
Simplifying Makefile rules.
Merging from 'master'.
Documented Graph_functions2.ml .
Documented ZVG_modules.ml .
Moved ZVG_tree into clutter - we aren't using it any more.
Documented calc.ml .
Documented compare_automata.ml .
Documented NRQueue.ml .
Documented NRQueue.ml .
Documented Table_using_list.ml .
Documented UDBM_utilities.ml .
Documented parse_timed_automaton.ml .
I guess we've got noweb for everything now, the last one being
zone_stubs.c .
Minor change in Makefile structure.
Fixed things to build the thesis inside the Makefile system of the
ocaml directory.
Minor change, getting rid of a redundant Makefile.
Merge branch 'master' into fix-noweb

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.