Revert "github generated gh-pages branch"

This reverts commit 97e0e510b5.
2011-03-13 20:36:14 +01:00
parent 97e0e510b5
commit 7f878aa890
181 changed files with 1096 additions and 88 deletions
--- a/e/Eiffel.eiff
+++ b/e/Eiffel.eiff
@@ -0,0 +1,18 @@
+indexing "Hello World in Eiffel , from http://roesler-ac.de/wolfram/hello.htm#Eiffel"
+
+class HELLO
+
+creation
+	run
+
+feature
+
+	run is
+		local
+			io : BASIC_IO;
+		do
+			!!io;
+			io.put_string("Hello World!");
+			io.put_newline
+		end; -- run
+end; -- class HELLO