wenzelm [Thu, 08 Apr 2021 13:09:44 +0200] rev 60187
proper setup for "Doc" sessions;
avoid overlap of split sessions with old "Doc" session;
wenzelm [Mon, 22 Mar 2021 14:47:06 +0100] rev 60186
do not suppress etc/settings: important for Isabelle component setup;
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Apr 2021 21:33:01 +0200] rev 60185
pwd test by WN
Walther Neuper <walther.neuper@jku.at> [Tue, 06 Apr 2021 15:52:27 +0200] rev 60184
add text for Specify_Phase
note: text not yet integrated into isabelle latex
Walther Neuper <walther.neuper@jku.at> [Sun, 04 Apr 2021 13:31:04 +0200] rev 60183
new session for Doc/Specify_Phase, incomplete
Walther Neuper <walther.neuper@jku.at> [Sun, 04 Apr 2021 12:29:42 +0200] rev 60182
separate session Specify
Walther Neuper <walther.neuper@jku.at> [Sat, 03 Apr 2021 15:27:52 +0200] rev 60181
review and update directories in Build_Isac
Walther Neuper <walther.neuper@jku.at> [Mon, 22 Mar 2021 17:22:08 +0100] rev 60180
tuned
Walther Neuper <walther.neuper@jku.at> [Mon, 22 Mar 2021 16:20:56 +0100] rev 60179
remove notes from Calculation.thy
Walther Neuper <walther.neuper@jku.at> [Mon, 22 Mar 2021 08:31:30 +0100] rev 60178
remove outdated comments and trials