10 years ago · bca396a381
--- a/code/XevConsole.oz
+++ b/code/XevConsole.oz
--- a/code/XevCore.oz
+++ b/code/XevCore.oz
--- a/code/XevDemo0.oz
+++ b/code/XevDemo0.oz
--- a/code/XevDemo1.oz
+++ b/code/XevDemo1.oz
--- a/code/XevDemo10.oz
+++ b/code/XevDemo10.oz
--- a/code/XevDemo11.oz
+++ b/code/XevDemo11.oz
--- a/code/XevDemo12.oz
+++ b/code/XevDemo12.oz
--- a/code/XevDemo13.oz
+++ b/code/XevDemo13.oz
--- a/code/XevDemo14.oz
+++ b/code/XevDemo14.oz
--- a/code/XevDemo15.oz
+++ b/code/XevDemo15.oz
--- a/code/XevDemo16.oz
+++ b/code/XevDemo16.oz
--- a/code/XevDemo17.oz
+++ b/code/XevDemo17.oz
--- a/code/XevDemo18.oz
+++ b/code/XevDemo18.oz
--- a/code/XevDemo19.oz
+++ b/code/XevDemo19.oz
--- a/code/XevDemo2.oz
+++ b/code/XevDemo2.oz
--- a/code/XevDemo20.oz
+++ b/code/XevDemo20.oz
--- a/code/XevDemo21.oz
+++ b/code/XevDemo21.oz
--- a/code/XevDemo22.oz
+++ b/code/XevDemo22.oz
--- a/code/XevDemo3.oz
+++ b/code/XevDemo3.oz
--- a/code/XevDemo4.oz
+++ b/code/XevDemo4.oz
--- a/code/XevDemo5.oz
+++ b/code/XevDemo5.oz
--- a/code/XevDemo6.oz
+++ b/code/XevDemo6.oz
--- a/code/XevDemo7.oz
+++ b/code/XevDemo7.oz
--- a/code/XevDemo8.oz
+++ b/code/XevDemo8.oz
--- a/code/XevDemo9.oz
+++ b/code/XevDemo9.oz
--- a/code/XevInit.oz
+++ b/code/XevInit.oz
--- a/code/XevStrings.oz
+++ b/code/XevStrings.oz
--- a/code/XevTest0.oz
+++ b/code/XevTest0.oz