stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: stan:a41802301ef93ae65e927f8046eb9efc656aeba6
Branches Tags
stan:master
stan:cctv
stan:lncs
stan:completeness
stan:cleanup
stan:MultiLet
..
compare: stan:cff2a97b2fd0b8b97429779bc64668e52e4ed549
Branches Tags
stan:master
stan:cctv
stan:lncs
stan:completeness
stan:cleanup
stan:MultiLet

2 Commits
a41802301e ... cff2a97b2f

Author SHA1 Message Date
Andreas Stadelmeier
cff2a97b2f FIx 2024-05-27 18:23:09 +02:00
Andreas Stadelmeier
e5f577f577 Rephrase TamedFJ intro 2024-05-27 18:22:39 +02:00
1 changed files with 4 additions and 0 deletions
Show Stats Expand all files Collapse all files

4
tRules.tex
View File

@ -26,7 +26,11 @@ class List<A extends Object> {
List<A> add(A v){..,} List<A> add(A v){..,}
} }
\end{lstlisting} \end{lstlisting}
<<<<<<< HEAD
TODO
=======
%TODO %TODO
>>>>>>> a41802301ef93ae65e927f8046eb9efc656aeba6
\\[1em] \\[1em]
\noindent \noindent
\textit{Additional Notes:}% \textit{Additional Notes:}%