equal
deleted
inserted
replaced
265 function, and returns the results as \ac{HTML}. |
265 function, and returns the results as \ac{HTML}. |
266 The \ac{HTML} generation of individual theorems is handled by the \ac{HTML} |
266 The \ac{HTML} generation of individual theorems is handled by the \ac{HTML} |
267 print mode of Isabelle, but the form fields and page structure were manually |
267 print mode of Isabelle, but the form fields and page structure were manually |
268 implemented. |
268 implemented. |
269 |
269 |
270 The module is built by using a \texttt{ROOT.ML} file inside a heap that |
|
271 contains the theories to be searched. |
|
272 The server is started by calling \texttt{ScgiServer.server}. |
270 The server is started by calling \texttt{ScgiServer.server}. |
273 Scripts have been created to automate this process. |
271 Scripts have been created to automate this process. |
274 |
272 |
275 \subsection{Handling symbols}\label{sec:unicode} |
273 \subsection{Handling symbols}\label{sec:unicode} |
276 |
274 |