Update index.html in Examples for change from Sapl to ABC interpreter

Examples/Applications/Incidone/WebPublic/index.html

@@ -8,13 +8,9 @@
 	<!-- Additional Incidone css -->
 	<link rel="stylesheet" href="/Incidone.css" type="text/css" >
 
-	<!-- Sapl dependencies -->
-	<script type="text/javascript" src="/js/sapl-utils.js"></script>
-	<script type="text/javascript" src="/js/sapl-builtin.js"></script>
-	<script type="text/javascript" src="/js/sapl-dynamic.js"></script>
-	<script type="text/javascript" src="/js/sapl-itasks.js"></script>
-	<script type="text/javascript" src="/js/sapl-rt.js"></script>
-	<script type="text/javascript" src="/js/sapl-support.js"></script>
+	<!-- ABC interpreter -->
+	<script type="text/javascript" src="/js/abc-instructions.js"></script>
+	<script type="text/javascript" src="/js/abc-interpreter.js"></script>
 
 	<!-- iTasks framework -->
 	<script type="text/javascript" src="/js/itasks-core.js"></script>
@@ -23,13 +19,13 @@
 	<script type="text/javascript" src="/js/itasks-components-display.js"></script>
 	<script type="text/javascript" src="/js/itasks-components-selection.js"></script>
 	<script type="text/javascript" src="/js/itasks-components-container.js"></script>
-	<script type="text/javascript" src="/js/itasks-js-interface.js"></script>
-
 
 	<!-- load iTasks viewport -->
 	<script type="text/javascript">
 	window.onload = function() {
-		itasks.viewport({syncTitle: true}, document.body);
+		ABC.loading_promise.finally(function(){
+			itasks.viewport({syncTitle: true}, document.body);
+		});
 	};
 	</script>
 </head>

Examples/WebPublic/index.html

@@ -7,14 +7,9 @@
 	<link rel="stylesheet" href="/css/itasks.css" type="text/css" >
 	<link rel="stylesheet" href="/css/WorkflowAdmin.css" type="text/css" >
 
-	<!-- Sapl dependencies -->
-	<script type="text/javascript" src="/js/sapl-utils.js"></script>
-	<script type="text/javascript" src="/js/sapl-builtin.js"></script>
-	<script type="text/javascript" src="/js/sapl-dynamic.js"></script>
-	<script type="text/javascript" src="/js/sapl-itasks.js"></script>
-	<script type="text/javascript" src="/js/sapl-rt.js"></script>
-	<script type="text/javascript" src="/js/sapl-support.js"></script>
-	<script type="text/javascript" src="/js/sapl-debug.js"></script>
+	<!-- ABC interpreter -->
+	<script type="text/javascript" src="/js/abc-instructions.js"></script>
+	<script type="text/javascript" src="/js/abc-interpreter.js"></script>
 
 	<!-- iTasks framework -->
 	<script type="text/javascript" src="/js/itasks-core.js"></script>
@@ -23,12 +18,13 @@
 	<script type="text/javascript" src="/js/itasks-components-display.js"></script>
 	<script type="text/javascript" src="/js/itasks-components-selection.js"></script>
 	<script type="text/javascript" src="/js/itasks-components-container.js"></script>
-	<script type="text/javascript" src="/js/itasks-js-interface.js"></script>
 
 	<!-- load iTasks viewport -->
 	<script type="text/javascript">
 	window.onload = function() {
-		itasks.viewport({syncTitle: true}, document.body);
+		ABC.loading_promise.finally(function(){
+			itasks.viewport({syncTitle: true}, document.body);
+		});
 	};
 	</script>
 </head>

Libraries/iTasks/UI/JavaScript.icl

@@ -5,7 +5,6 @@ import StdGeneric
 import StdOverloadedList
 
 import Data.Maybe
-import Text
 import Text.GenJSON
 
 :: *JSWorld = JSWorld