From 41aaed58d4734b7cec5a4d2567283cb818f77cbb Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 6 Dec 2005 16:23:29 +0000 Subject: Moved transfer documentation to doc/. Added sections and text to transfer tutorial and reference. Added script for generating html from txt2tags files. --- transfer/examples/aggregation/transfer-tutorial.txt | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 transfer/examples/aggregation/transfer-tutorial.txt (limited to 'transfer/examples/aggregation/transfer-tutorial.txt') diff --git a/transfer/examples/aggregation/transfer-tutorial.txt b/transfer/examples/aggregation/transfer-tutorial.txt deleted file mode 100644 index cb8ca876d..000000000 --- a/transfer/examples/aggregation/transfer-tutorial.txt +++ /dev/null @@ -1,12 +0,0 @@ -- Problem - -- Abstract syntax - -- Concrete syntax - -- Generate tree module - -- Write transfer code - - Derive Compos and Eq - - -- cgit v1.2.3