Commit 50f6b5b3 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Hide commented parts and Emacs configuration from the generated documentation.

parent 4f62cb76
......@@ -178,4 +178,3 @@ end
lemma SquareNonNeg1 : forall x : t. x <= zero -> zero <= x * x
lemma SquareNonNeg : forall x : t. zero <= x * x
*)
......@@ -112,4 +112,3 @@ Local Variables:
compile-command: "why3ide bag.why"
End:
*)
......@@ -217,8 +217,7 @@ theory TestBv32
end
(*
(***
Local Variables:
compile-command: "make -C .. theories/map"
End:
......
......@@ -180,7 +180,7 @@ theory Coprime
end
(*
(***
Local Variables:
compile-command: "make -C .. theories/number"
End:
......
......@@ -109,7 +109,7 @@ theory ReflTransClosure
forall x y z: t. relTR x y -> relTR y z -> relTR x z
end
(*
(***
theory PreOrder
type t
......@@ -143,8 +143,7 @@ theory TotalPreOrder
end
*)
(*
(***
theory TotalOrder
type t
......@@ -184,7 +183,7 @@ theory Lex
end
(*
(***
theory MinMax
clone export TotalOrder
......@@ -208,10 +207,8 @@ theory WellFounded
end
(*
(***
Local Variables:
compile-command: "make -C .. theories/relations"
End:
*)
......@@ -243,7 +243,6 @@ theory SetMap
end
(***
Local Variables:
compile-command: "make -C .. theories/set"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment