An advanced programming language branch, master, updated. 8b7a4f79a2af14c2a4e0a27f157889416bc6e779

0 views
Skip to first unread message

felixgit

unread,
Oct 7, 2010, 1:19:50 AM10/7/10
to felix-...@googlegroups.com
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "An advanced programming language".

The branch, master has been updated
via 8b7a4f79a2af14c2a4e0a27f157889416bc6e779 (commit)
from 143a6ae3d097d1dcb08a9d576274a93392f509cc (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 8b7a4f79a2af14c2a4e0a27f157889416bc6e779
Author: John Skaller <ska...@users.sourceforge.net>
Date: Thu Oct 7 16:19:10 2010 +1100

Move stuff out of flx_maker.pak.

diff --git a/lpsrc/flx_maker.pak b/lpsrc/flx_maker.pak
index d8f759c..7678546 100644
--- a/lpsrc/flx_maker.pak
+++ b/lpsrc/flx_maker.pak
@@ -193,288 +193,6 @@ mkgif("plus",plus)
mkgif("minus",plus)
mkgif("dot",dot)

-//
-
-@select(tangler('misc/interscript.css','data'))
-BODY {
- background-color : #FFFFF0;
-}
-BODY EM {
- color: #A01010;
-}
-
-BODY CODE {
- color: #101080;
-}
-DIV.CODE {
- color : #101080;
- background-color: #E0FFFF;
- margin-top: 0.0 ex;
- padding-top: 0.4 ex;
- padding-bottom: 0.2 ex;
- margin-bottom: 0.0 ex;
- margin-right: 2 ex;
- border: thin solid gray;
- display: block;
-}
-SPAN.LINENO {
- color : #101010;
- font-size: 80%;
-}
-
-DIV.CODE SPAN.KEYWORD {
- color : #000000;
- font-weight: bold;
-}
-DIV.CODE SPAN.NAME {
- color : #000000;
-}
-DIV.CODE SPAN.STRING{
- color : #004000;
-}
-DIV.CODE SPAN.NUMBER {
- color : #002020;
-}
-DIV.CODE SPAN.BRACKET {
- color : #800000;
-}
-DIV.CODE SPAN.PUNCT {
- color : #802000;
-}
-DIV.CODE SPAN.OP {
- color : #400000;
-}
-DIV.CODE SPAN.COMMENT {
- color : #000000;
- background-color : #FFF0FF;
- font-size: 80%;
- font-family: sans-serif;
-}
-
-TABLE.DEFAULT_TABLE_CLASS {
- color: #101010;
- background-color: #F0F0E0;
-}
-
-TABLE.DIFF {
- color: #204060;
- background-color: #FFE0E0;
-}
-
-DIV.CODE_SECTION_HEAD {
- margin-top: 1 ex;
- padding-top: 0.2 ex;
- border-top: 0 ex;
- padding-bottom: 0.0 ex;
- border-bottom: 0 ex;
- margin-bottom: -1 ex;
- padding-left: 0.1 em;
- display: block;
-}
-DIV.CODE_SECTION_FOOT {
- margin-top: -1.0 ex;
- padding-top: 0.0 em;
- border-top-width: 0.0 em;
- border-bottom-width: 0.0 em;
- padding-bottom: 0.0 em;
- margin-bottom: 0.0 em;
- display: block;
- display:none;
-}
-
-DIV.CODE_SECTION_HEAD SMALL, DIV.CODE_SECTION_FOOT SMALL{
- color : #503020;
- font-size: 80%;
- display: inline;
- color: #101080;
-}
-DIV.CODE_SECTION_HEAD STRONG, DIV.CODE_SECTION_FOOT STRONG {
- font-family : monospace, courier;
- font-weight: normal;
- font-size: 100%;
- display: inline;
- color : black;
-}
-DIV.CODE_SECTION_HEAD EM, DIV.CODE_SECTION_FOOT EM {
- display: inline;
-}
-
-DIV.TEST_OUTPUT {
- color : #101080;
- background-color: #E0FFE0;
- margin-top: 0.0 ex;
- padding-top: 0.4 ex;
- padding-bottom: 0.2 ex;
- margin-bottom: 0.0 ex;
- margin-right: 2 ex;
- border: thin solid gray;
- display: block;
-}
-DIV.BAD_TEST_OUTPUT {
- color : #101080;
- background-color: #FFE0E0;
- margin-top: 0.0 ex;
- padding-top: 0.4 ex;
- padding-bottom: 0.2 ex;
- margin-bottom: 0.0 ex;
- margin-right: 2 ex;
- border: thin solid gray;
- display: block;
-}
-DIV.TEST_OUTPUT_RESULT {
- margin-top: 1.5 ex;
- padding-top: 0.2 ex;
- border-top: 0 ex;
- padding-bottom: 0.0 ex;
- border-bottom: 0 ex;
- margin-bottom: -1 ex;
- padding-left: 0.1 em;
- display: block;
-}
-DIV.TEST_OUTPUT_SECTION_HEAD {
- margin-top: 1 ex;
- padding-top: 0.2 ex;
- border-top: 0 ex;
- padding-bottom: 0.0 ex;
- border-bottom: 0 ex;
- margin-bottom: -1 ex;
- padding-left: 0.1 em;
- display: block;
-}
-
-DIV.TEST_OUTPUT_SECTION_FOOT {
- margin-top: -1.0 ex;
- padding-top: 0.0 em;
- border-top-width: 0.0 em;
- border-bottom-width: 0.0 em;
- padding-bottom: 0.0 em;
- margin-bottom: 0.0 em;
- display: block;
- display:none;
-}
-
-DIV.TEST_OUTPUT_SECTION_HEAD SMALL, DIV.TEST_OUTPUT_SECTION_FOOT SMALL{
- color : #503020;
- font-size: 80%;
- display: inline;
- color: #101080;
-}
-DIV.TEST_OUTPUT_SECTION_HEAD STRONG, DIV.TEST_OUTPUT_SECTION_FOOT STRONG {
- font-family : monospace, courier;
- font-weight: normal;
- font-size: 100%;
- display: inline;
- color : black;
-}
-DIV.TEST_OUTPUT_SECTION_HEAD EM, DIV.TEST_OUTPUT_SECTION_FOOT EM {
- display: inline;
-}
-
-DIV.EXPECTED_OUTPUT {
- color : #101080;
- background-color: #E0FFFF;
- margin-top: 0.0 ex;
- padding-top: 0.4 ex;
- padding-bottom: 0.2 ex;
- margin-bottom: 0.0 ex;
- margin-right: 2 ex;
- border: thin solid gray;
- display: block;
-}
-
-DIV.EXPECTED_OUTPUT_SECTION_HEAD {
- margin-top: 1 ex;
- padding-top: 0.2 ex;
- border-top: 0 ex;
- padding-bottom: 0.0 ex;
- border-bottom: 0 ex;
- margin-bottom: -1 ex;
- padding-left: 0.1 em;
- display: block;
-}
-
-DIV.EXPECTED_OUTPUT_SECTION_FOOT {
- margin-top: -1.0 ex;
- padding-top: 0.0 em;
- border-top-width: 0.0 em;
- border-bottom-width: 0.0 em;
- padding-bottom: 0.0 em;
- margin-bottom: 0.0 em;
- display: block;
- display:none;
-}
-
-DIV.EXPECTED_OUTPUT_SECTION_HEAD SMALL, DIV.EXPECTED_OUTPUT_SECTION_FOOT SMALL{
- color : #503020;
- font-size: 80%;
- display: inline;
- color: #101080;
-}
-DIV.EXPECTED_OUTPUT_SECTION_HEAD STRONG, DIV.EXPECTED_OUTPUT_SECTION_FOOT STRONG {
- font-family : monospace, courier;
- font-weight: normal;
- font-size: 100%;
- display: inline;
- color : black;
-}
-DIV.EXPECTED_OUTPUT_SECTION_HEAD EM, DIV.EXPECTED_OUTPUT_SECTION_FOOT EM {
- display: inline;
-}
-
-DIV.DIFF {
- color : #101080;
- background-color: #E0FFE0;
- margin-top: 0.0 ex;
- padding-top: 0.4 ex;
- padding-bottom: 0.2 ex;
- margin-bottom: 0.0 ex;
- margin-right: 2 ex;
- border: thin solid gray;
- display: block;
-}
-
-DIV.DIFF_SECTION_HEAD {
- margin-top: 1 ex;
- padding-top: 0.2 ex;
- border-top: 0 ex;
- padding-bottom: 0.0 ex;
- border-bottom: 0 ex;
- margin-bottom: -1 ex;
- padding-left: 0.1 em;
- display: block;
-}
-
-DIV.DIFF_SECTION_FOOT {
- margin-top: -1.0 ex;
- padding-top: 0.0 em;
- border-top-width: 0.0 em;
- border-bottom-width: 0.0 em;
- padding-bottom: 0.0 em;
- margin-bottom: 0.0 em;
- display: block;
- display:none;
-}
-
-DIV.DIFF_SECTION_HEAD SMALL, DIV.DIFF_SECTION_FOOT SMALL{
- color : #503020;
- font-size: 80%;
- display: inline;
- color: #101080;
-}
-DIV.DIFF_SECTION_HEAD STRONG, DIV.DIFF_SECTION_FOOT STRONG {
- font-family : monospace, courier;
- font-weight: normal;
- font-size: 100%;
- display: inline;
- color : black;
-}
-DIV.DIFF_SECTION_HEAD EM, DIV.DIFF_SECTION_FOOT EM {
- display: inline;
-}
-
-@select(tangler('misc/user.css','data'))
-// dummy: to be replaced by the user (but needed for some browsers)
-
@head(1,'Run script')
@# ------------- RUN SCRIPT flx.bat FOR WINDOWS COMMAND LINE

diff --git a/misc/interscript.css b/misc/interscript.css
new file mode 100644
index 0000000..319150a
--- /dev/null
+++ b/misc/interscript.css
@@ -0,0 +1,276 @@
+BODY {
+ background-color : #FFFFF0;
+}
+BODY EM {
+ color: #A01010;
+}
+
+BODY CODE {
+ color: #101080;
+}
+DIV.CODE {
+ color : #101080;
+ background-color: #E0FFFF;
+ margin-top: 0.0 ex;
+ padding-top: 0.4 ex;
+ padding-bottom: 0.2 ex;
+ margin-bottom: 0.0 ex;
+ margin-right: 2 ex;
+ border: thin solid gray;
+ display: block;
+}
+SPAN.LINENO {
+ color : #101010;
+ font-size: 80%;
+}
+
+DIV.CODE SPAN.KEYWORD {
+ color : #000000;
+ font-weight: bold;
+}
+DIV.CODE SPAN.NAME {
+ color : #000000;
+}
+DIV.CODE SPAN.STRING{
+ color : #004000;
+}
+DIV.CODE SPAN.NUMBER {
+ color : #002020;
+}
+DIV.CODE SPAN.BRACKET {
+ color : #800000;
+}
+DIV.CODE SPAN.PUNCT {
+ color : #802000;
+}
+DIV.CODE SPAN.OP {
+ color : #400000;
+}
+DIV.CODE SPAN.COMMENT {
+ color : #000000;
+ background-color : #FFF0FF;
+ font-size: 80%;
+ font-family: sans-serif;
+}
+
+TABLE.DEFAULT_TABLE_CLASS {
+ color: #101010;
+ background-color: #F0F0E0;
+}
+
+TABLE.DIFF {
+ color: #204060;
+ background-color: #FFE0E0;
+}
+
+DIV.CODE_SECTION_HEAD {
+ margin-top: 1 ex;
+ padding-top: 0.2 ex;
+ border-top: 0 ex;
+ padding-bottom: 0.0 ex;
+ border-bottom: 0 ex;
+ margin-bottom: -1 ex;
+ padding-left: 0.1 em;
+ display: block;
+}
+DIV.CODE_SECTION_FOOT {
+ margin-top: -1.0 ex;
+ padding-top: 0.0 em;
+ border-top-width: 0.0 em;
+ border-bottom-width: 0.0 em;
+ padding-bottom: 0.0 em;
+ margin-bottom: 0.0 em;
+ display: block;
+ display:none;
+}
+
+DIV.CODE_SECTION_HEAD SMALL, DIV.CODE_SECTION_FOOT SMALL{
+ color : #503020;
+ font-size: 80%;
+ display: inline;
+ color: #101080;
+}
+DIV.CODE_SECTION_HEAD STRONG, DIV.CODE_SECTION_FOOT STRONG {
+ font-family : monospace, courier;
+ font-weight: normal;
+ font-size: 100%;
+ display: inline;
+ color : black;
+}
+DIV.CODE_SECTION_HEAD EM, DIV.CODE_SECTION_FOOT EM {
+ display: inline;
+}
+
+DIV.TEST_OUTPUT {
+ color : #101080;
+ background-color: #E0FFE0;
+ margin-top: 0.0 ex;
+ padding-top: 0.4 ex;
+ padding-bottom: 0.2 ex;
+ margin-bottom: 0.0 ex;
+ margin-right: 2 ex;
+ border: thin solid gray;
+ display: block;
+}
+DIV.BAD_TEST_OUTPUT {
+ color : #101080;
+ background-color: #FFE0E0;
+ margin-top: 0.0 ex;
+ padding-top: 0.4 ex;
+ padding-bottom: 0.2 ex;
+ margin-bottom: 0.0 ex;
+ margin-right: 2 ex;
+ border: thin solid gray;
+ display: block;
+}
+DIV.TEST_OUTPUT_RESULT {
+ margin-top: 1.5 ex;
+ padding-top: 0.2 ex;
+ border-top: 0 ex;
+ padding-bottom: 0.0 ex;
+ border-bottom: 0 ex;
+ margin-bottom: -1 ex;
+ padding-left: 0.1 em;
+ display: block;
+}
+DIV.TEST_OUTPUT_SECTION_HEAD {
+ margin-top: 1 ex;
+ padding-top: 0.2 ex;
+ border-top: 0 ex;
+ padding-bottom: 0.0 ex;
+ border-bottom: 0 ex;
+ margin-bottom: -1 ex;
+ padding-left: 0.1 em;
+ display: block;
+}
+
+DIV.TEST_OUTPUT_SECTION_FOOT {
+ margin-top: -1.0 ex;
+ padding-top: 0.0 em;
+ border-top-width: 0.0 em;
+ border-bottom-width: 0.0 em;
+ padding-bottom: 0.0 em;
+ margin-bottom: 0.0 em;
+ display: block;
+ display:none;
+}
+
+DIV.TEST_OUTPUT_SECTION_HEAD SMALL, DIV.TEST_OUTPUT_SECTION_FOOT SMALL{
+ color : #503020;
+ font-size: 80%;
+ display: inline;
+ color: #101080;
+}
+DIV.TEST_OUTPUT_SECTION_HEAD STRONG, DIV.TEST_OUTPUT_SECTION_FOOT STRONG {
+ font-family : monospace, courier;
+ font-weight: normal;
+ font-size: 100%;
+ display: inline;
+ color : black;
+}
+DIV.TEST_OUTPUT_SECTION_HEAD EM, DIV.TEST_OUTPUT_SECTION_FOOT EM {
+ display: inline;
+}
+
+DIV.EXPECTED_OUTPUT {
+ color : #101080;
+ background-color: #E0FFFF;
+ margin-top: 0.0 ex;
+ padding-top: 0.4 ex;
+ padding-bottom: 0.2 ex;
+ margin-bottom: 0.0 ex;
+ margin-right: 2 ex;
+ border: thin solid gray;
+ display: block;
+}
+
+DIV.EXPECTED_OUTPUT_SECTION_HEAD {
+ margin-top: 1 ex;
+ padding-top: 0.2 ex;
+ border-top: 0 ex;
+ padding-bottom: 0.0 ex;
+ border-bottom: 0 ex;
+ margin-bottom: -1 ex;
+ padding-left: 0.1 em;
+ display: block;
+}
+
+DIV.EXPECTED_OUTPUT_SECTION_FOOT {
+ margin-top: -1.0 ex;
+ padding-top: 0.0 em;
+ border-top-width: 0.0 em;
+ border-bottom-width: 0.0 em;
+ padding-bottom: 0.0 em;
+ margin-bottom: 0.0 em;
+ display: block;
+ display:none;
+}
+
+DIV.EXPECTED_OUTPUT_SECTION_HEAD SMALL, DIV.EXPECTED_OUTPUT_SECTION_FOOT SMALL{
+ color : #503020;
+ font-size: 80%;
+ display: inline;
+ color: #101080;
+}
+DIV.EXPECTED_OUTPUT_SECTION_HEAD STRONG, DIV.EXPECTED_OUTPUT_SECTION_FOOT STRONG {
+ font-family : monospace, courier;
+ font-weight: normal;
+ font-size: 100%;
+ display: inline;
+ color : black;
+}
+DIV.EXPECTED_OUTPUT_SECTION_HEAD EM, DIV.EXPECTED_OUTPUT_SECTION_FOOT EM {
+ display: inline;
+}
+
+DIV.DIFF {
+ color : #101080;
+ background-color: #E0FFE0;
+ margin-top: 0.0 ex;
+ padding-top: 0.4 ex;
+ padding-bottom: 0.2 ex;
+ margin-bottom: 0.0 ex;
+ margin-right: 2 ex;
+ border: thin solid gray;
+ display: block;
+}
+
+DIV.DIFF_SECTION_HEAD {
+ margin-top: 1 ex;
+ padding-top: 0.2 ex;
+ border-top: 0 ex;
+ padding-bottom: 0.0 ex;
+ border-bottom: 0 ex;
+ margin-bottom: -1 ex;
+ padding-left: 0.1 em;
+ display: block;
+}
+
+DIV.DIFF_SECTION_FOOT {
+ margin-top: -1.0 ex;
+ padding-top: 0.0 em;
+ border-top-width: 0.0 em;
+ border-bottom-width: 0.0 em;
+ padding-bottom: 0.0 em;
+ margin-bottom: 0.0 em;
+ display: block;
+ display:none;
+}
+
+DIV.DIFF_SECTION_HEAD SMALL, DIV.DIFF_SECTION_FOOT SMALL{
+ color : #503020;
+ font-size: 80%;
+ display: inline;
+ color: #101080;
+}
+DIV.DIFF_SECTION_HEAD STRONG, DIV.DIFF_SECTION_FOOT STRONG {
+ font-family : monospace, courier;
+ font-weight: normal;
+ font-size: 100%;
+ display: inline;
+ color : black;
+}
+DIV.DIFF_SECTION_HEAD EM, DIV.DIFF_SECTION_FOOT EM {
+ display: inline;
+}
+
diff --git a/misc/user.css b/misc/user.css
new file mode 100644
index 0000000..e4fd2cd
--- /dev/null
+++ b/misc/user.css
@@ -0,0 +1 @@
+// dummy: to be replaced by the user (but needed for some browsers)

-----------------------------------------------------------------------

Summary of changes:
lpsrc/flx_maker.pak | 282 --------------------------------------------------
misc/interscript.css | 276 ++++++++++++++++++++++++++++++++++++++++++++++++
misc/user.css | 1 +
3 files changed, 277 insertions(+), 282 deletions(-)
create mode 100644 misc/interscript.css
create mode 100644 misc/user.css


hooks/post-receive
--
An advanced programming language

Reply all
Reply to author
Forward
0 new messages