Automated_Stateful_Protocol_Verification/ROOT

@@ -1,7 +1,7 @@
 chapter AFP
 
 session "Automated_Stateful_Protocol_Verification-devel" (AFP) = "Stateful_Protocol_Composition_and_Typing" +
-  options [timeout = 4200]
+  options [timeout = 2400]
   sessions
     "HOL-Eisbach"
   directories

README.md

@@ -21,7 +21,7 @@ for installing the AFP locally. For short:
 * Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
 
 ```console
-achim@logicalhacking:~$ isabelle components -u "/home/isabelle/afp/thys"
+achim@logicalhacking:~$ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
 ```
 
 ## How to build