diff -r a9c1dd0cb7b6 -r ae19cf3b1ff9 programming.html --- a/programming.html Sat Oct 22 11:09:01 2011 +0100 +++ b/programming.html Sat Oct 22 11:23:48 2011 +0100 @@ -58,6 +58,8 @@ Scala

- MLJ (ML-to-Java-Byte-Code compiler, developed - here) -

- Forum -

- Lambda Prolog -

- Terzo -

- Logical Frameworks + MLJ (ML-to-Java-Byte-Code compiler) +

+ Forum +

+ Lambda Prolog +

+ Logical Frameworks @@ -96,9 +95,11 @@ Proof General

Emacs Symbols +

+ HOL4

HOL4-Emacs mode -

Coq-Wiki

Twelf-Wiki