diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-03-15 01:25:09 +0100 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-03-15 01:25:09 +0100 |
| commit | 7e24d9d392aff890981f13c299b283189d94a75d (patch) | |
| tree | 6e608a59fc2887240145d678f8be2f8a0356393d /java/java.tex | |
| parent | 8bad05892517601c7161b34a5ab775290d254938 (diff) | |
too many changes for one commit
- simplify envelope code
- add more files as optional
- allow compiling optional without editing tcr.tex
- formatting changes
Diffstat (limited to 'java/java.tex')
| -rw-r--r-- | java/java.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/java.tex b/java/java.tex index bc656ff..9429106 100644 --- a/java/java.tex +++ b/java/java.tex @@ -3,7 +3,7 @@ \lstset{language=Java} \optional{ -\subsection{Introduction} +\subsection{Introduction \opthint} \begin{itemize} \item Compilen: \code{javac main.java} @@ -31,7 +31,7 @@ } \optional{ -\subsection{BigInteger} +\subsection{BigInteger \opthint} \sourcecode{java/bigInteger.java} } \endgroup |