Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 8f3fa19d authored by Michael Kohlhase's avatar Michael Kohlhase

adding the html

parent d10023c3
......@@ -223,10 +223,18 @@ gets parsed into the following abstract grammar term:
not (mkProp (set1_in (root nums1_pi ten) emptyset))
\subsection{Using GF on HTML5}
\section{The full HTML5 Sentence}
%%% Local Variables:
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