Commit 5c2ed4aa authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 264ddfd4
\begin{module}[id=html-python]
\importmhmodule[path=python/en/strings]{python-strings}
\importmhmodule[repos=MiKoMH/GenCS,path=www/en/html]{html}
\lstset{language=python}
\importmhmodule[repos=MiKoMH/GenCS,path=www/en/www-concepts]{www-concepts}
\lstset{language=python,aboveskip=2pt,belowskip=0pt}
\begin{nomtext}
In \useSGvar{courseacroym}, we use $\pythonLanguage$ for programming, so let us see how
we would generate $\html$ pages in $\pythonLanguage$.
\end{nomtext}
\begin{frame}[fragile]
\frametitle{What would we do in $\pythonLanguage$}
\begin{itemize}
......@@ -10,12 +16,17 @@
\lstinputmhlisting{python/ex/hello.py}
\end{example}
\item
\begin{omtext}[title=Problem]
\begin{omtext}[title=Problem 1]
Most \trefii[www-concepts]{web}{page} content is static (page head, text blocks,
etc.)
\end{omtext}
\item
\begin{omtext}[title=Another]
\begin{example}[title=Python Solution]
use $\pythonLanguage$ functions:
\lstinputmhlisting[basicstyle=\small\sf]{python/ex/hellofun.py}
\end{example}
\item
\begin{omtext}[title=Problem 2]
If $\html$ markup dominate, want to use a $\html$ editor (mode)
\begin{itemize}
\item e.g. for $\html$ syntax highlighting/indentation/completion/checking
......@@ -23,9 +34,9 @@
\end{omtext}
\item
\begin{omtext}[title=Idea]
Embed program snippets into $\html$ pages.\lec{only execute these, copy rest}
Embed program snippets into $\html$.\lec{only execute these, copy rest}
\end{omtext}
\item If $\html$ markup dominate, want to use a $\html$ editor (mode)
\item If $\html$ markup dominates, want to use a $\html$ editor (mode)
\begin{itemize}
\item e.g. for $\html$ syntax highlighting/indentation/completion/checking
\end{itemize}
......@@ -37,4 +48,5 @@
%%% TeX-master: t
%%% End:
% LocalWords: importmhmodule GenCS lstset frametitle lstinputlisting
% LocalWords: importmhmodule GenCS lstset frametitle lstinputlisting GenCS,path nomtext
% LocalWords: useSGvar courseacroym lstinputmhlisting trefii pythonlanguage
print("</html>")
print("<html>")
print("<body>Hello world</body>")
print("</html>")
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