From f85232947e74ee7ef8c7b0ad2338212e7e68f1be Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 13 Dec 2009 18:50:29 +0000 Subject: reorganize the directories under src, and rescue the JavaScript interpreter from deprecated --- deprecated/haddock/resources/blank.html | 10 ++++++++++ deprecated/haddock/resources/index.html | 14 ++++++++++++++ 2 files changed, 24 insertions(+) create mode 100644 deprecated/haddock/resources/blank.html create mode 100644 deprecated/haddock/resources/index.html (limited to 'deprecated/haddock/resources') diff --git a/deprecated/haddock/resources/blank.html b/deprecated/haddock/resources/blank.html new file mode 100644 index 000000000..63ab0b172 --- /dev/null +++ b/deprecated/haddock/resources/blank.html @@ -0,0 +1,10 @@ + + + + + + + + + + diff --git a/deprecated/haddock/resources/index.html b/deprecated/haddock/resources/index.html new file mode 100644 index 000000000..5d8822dc5 --- /dev/null +++ b/deprecated/haddock/resources/index.html @@ -0,0 +1,14 @@ + + + + + + +Grammatical Framework programmer's documentation + + + + + + -- cgit v1.2.3