Recent changes to Home

WikiPage Home modified by Jan Blech

Jan Blech — Fri, 01 Feb 2013 16:05:18 -0000

--- v11
+++ v12
@@ -7,3 +7,6 @@
 - Some [.jar files](http://sourceforge.net/projects/beht/files)  for download that realize the runtime checking of behavioral types and some [installation](installation) instructions

+
+-----------------------
+Jan Blech 2013

WikiPage Home modified by Jan Blech

Jan Blech — Fri, 01 Feb 2013 16:03:02 -0000

--- v10
+++ v11
@@ -7,6 +7,3 @@
 - Some [.jar files](http://sourceforge.net/projects/beht/files)  for download that realize the runtime checking of behavioral types and some [installation](installation) instructions

-Have fun!
-
-Jan Blech

WikiPage Home modified by Jan Blech

Jan Blech — Mon, 07 Jan 2013 16:55:46 -0000

--- v9
+++ v10
@@ -4,7 +4,7 @@
 There is a page on
 - [Our related publications](publications)
 - [A screenshot](screenshots) of an older version
-- Some [.jar files](http://sourceforge.net/projects/beht/files)  for download that realize the runtime checking of behavioral types 
+- Some [.jar files](http://sourceforge.net/projects/beht/files)  for download that realize the runtime checking of behavioral types and some [installation](installation) instructions

 Have fun!

WikiPage Home modified by Jan Blech

Jan Blech — Fri, 04 Jan 2013 16:24:57 -0000

--- v8
+++ v9
@@ -4,7 +4,8 @@
 There is a page on
 - [Our related publications](publications)
 - [A screenshot](screenshots) of an older version
-- Some [.jar files]:http://sourceforge.net/projects/beht/files for download that realize the runtime checking of behavioral types 
+- Some [.jar files](http://sourceforge.net/projects/beht/files)  for download that realize the runtime checking of behavioral types 
+

 Have fun!

WikiPage Home modified by Jan Blech

Jan Blech — Fri, 04 Jan 2013 16:22:13 -0000

--- v7
+++ v8
@@ -4,7 +4,7 @@
 There is a page on
 - [Our related publications](publications)
 - [A screenshot](screenshots) of an older version
-- Some [.jar files](files) for download that realize the runtime checking of behavioral types 
+- Some [.jar files]:http://sourceforge.net/projects/beht/files for download that realize the runtime checking of behavioral types

 Have fun!

WikiPage Home modified by Jan Blech

Jan Blech — Fri, 04 Jan 2013 16:17:59 -0000

--- v6
+++ v7
@@ -1,10 +1,10 @@
 Welcome to the Behavioral Types (BehT) Wiki!

-Our work on Behavioral Types has just started.
-Nevertheless, there is a page on
+Our work on Behavioral Types has started
+There is a page on
 - [Our related publications](publications)
-- [A screenshot](screenshots)
-
+- [A screenshot](screenshots) of an older version
+- Some [.jar files](files) for download that realize the runtime checking of behavioral types 

 Have fun!

WikiPage Home modified by Jan Blech

Jan Blech — Thu, 16 Aug 2012 15:01:37 -0000

WikiPage Home modified by Jan Blech

Jan Blech — Thu, 16 Aug 2012 15:00:20 -0000

--- v4
+++ v5
@@ -3,7 +3,8 @@
 Our work on Behavioral Types has just started.
 Nevertheless, there is a page on
 - [Our related publications](publications)
-- [A screenshot]()
+- [A screenshot](screenshots)
+
 
 Have fun!

WikiPage Home modified by Jan Blech

Jan Blech — Thu, 16 Aug 2012 14:55:34 -0000

--- v3
+++ v4
@@ -3,6 +3,7 @@
 Our work on Behavioral Types has just started.
 Nevertheless, there is a page on
 - [Our related publications](publications)
+- [A screenshot]()
 
 Have fun!

WikiPage Home modified by Jan Blech

Jan Blech — Thu, 16 Aug 2012 14:09:57 -0000

--- v2
+++ v3
@@ -2,4 +2,8 @@
 
 Our work on Behavioral Types has just started.
 Nevertheless, there is a page on
-- [[Our related publications | publications]]
+- [Our related publications](publications)
+
+Have fun!
+
+Jan Blech