From 7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 9 Oct 2014 14:49:07 +0000 Subject: [PATCH] old pabes removed --- helm/www/lambdadelta/version_1.html | 172 ---------------------------- helm/www/lambdadelta/version_2.html | 136 ---------------------- 2 files changed, 308 deletions(-) delete mode 100644 helm/www/lambdadelta/version_1.html delete mode 100644 helm/www/lambdadelta/version_2.html diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html deleted file mode 100644 index 40bf6063a..000000000 --- a/helm/www/lambdadelta/version_1.html +++ /dev/null @@ -1,172 +0,0 @@ - - - - - - - - - - \lambda\delta home page - - - - - - -
- - [lambdadelta home] - -
-
The Formal System λδ version 1
-
- [Spacer] -
-
-
-
-
- - - - - - - - - - - - - - - - - - - - - - - - -
- home - - news - - documentation - - implementation - (specifications - library - Helena)
- Foreword - - Milestones - - Version 2 - - Version 2 - (Background - Core - Applications)
- Notice - - Visibility - - Version 1 - - Version 1 - -
-
-
- -
Formats [spacer] -
- -
- The formal specification of λδ version 1 - is available in the following formats: -
- - - - - - - -
- [Spacer] -
-
-
-
-
- - [Valid XHTML 1.1] - - - [Valid CSS level 2] - - - [Generated from XML via XSL] - - - [PNG used here] - - - [Viewable with any browser] - -
-
-
-
-
Last update: Thu, 09 Oct 2014 15:00:23 +0200
- - diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html deleted file mode 100644 index b1202c109..000000000 --- a/helm/www/lambdadelta/version_2.html +++ /dev/null @@ -1,136 +0,0 @@ - - - - - - - - - - \lambda\delta home page - - - - - - -
- - [lambdadelta home] - -
-
The Formal System λδ version 2
-
- [Spacer] -
-
-
-
-
- - - - - - - - - - - - - - - - - - - - - - - - -
- home - - news - - documentation - - implementation - (specifications - library - Helena)
- Foreword - - Milestones - - Version 2 - - Version 2 - (Background - Core - Applications)
- Notice - - Visibility - - Version 1 - - Version 1 - -
-
-
- -
Formats [spacer] -
- -
- The formal specification of λδ version 2 - is available in the following formats: -
- - - - - -
- [Spacer] -
-
-
-
-
- - [Valid XHTML 1.1] - - - [Valid CSS level 2] - - - [Generated from XML via XSL] - - - [PNG used here] - - - [Viewable with any browser] - -
-
-
-
-
Last update: Thu, 09 Oct 2014 15:00:23 +0200
- - -- 2.39.2