remove obsolete scripts

1 files changed, 1 insertions, 9 deletions

diff --git a/IDEAS.md b/IDEAS.md
index 991de58..968b07e 100644
--- a/IDEAS.md
+++ b/IDEAS.md
@@ -1,14 +1,6 @@
 # ideas
 
-* Event occurrence with Lamport and vector clocks  
-* Print warning if protocol is not activated while making a protocol request  
-* Splash screen  
-* Allow simulations of arbitrary length  
-* KeyEvent Manager  
-* System snapshots?  
-* Middleware layer?  
-* Events that change process variables  
-* Conditional events
+* Allow simulations of arbitrary length
 
 ## Protocols