diff --git a/changelog b/changelog index fa626d9..82bc4ae 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,7 @@ +20081201 tpd src/axiom-website/patches.html 20081201.04.tpd.patch +20081201 tpd src/axiom-website/index.html fix video link +20081201 tpd src/axiom-website/videos.html add wmv, pdf +20081201 tpd src/axiom-website/patches.html 20081201.03.tpd.patch 20081201 tpd books/Makefile move amssymb to preamble 20081201 kxh books/bookvol7.1 fix syntax 20081201 tpd src/interp/setq.lisp add Karl Hegbloom diff --git a/src/axiom-website/index.html b/src/axiom-website/index.html index 0e05eed..0bce186 100644 --- a/src/axiom-website/index.html +++ b/src/axiom-website/index.html @@ -72,7 +72,7 @@
[ - + Videos ] diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index ad638c8..6daa1c1 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -769,6 +769,8 @@ bookvol10.3 add domains
add missing files
20081201.03.tpd.patch bookvol10.3 add domains
+20081201.04.tpd.patch +website add wmv, pdf to video page
\ No newline at end of file diff --git a/src/axiom-website/videos.html b/src/axiom-website/videos.html index adda03d..5fc142a 100644 --- a/src/axiom-website/videos.html +++ b/src/axiom-website/videos.html @@ -91,13 +91,43 @@

-
+ +
+
+ + + + + + + + +
+ Axiom Information Sources + +       + + + youtube + + + + wmv + + + + pdf + +
+
+The Information Sources video gives a quick overview of the +external and internal information available for Axiom. The +external sources include books and websites. The internal +sources include browsers and help facilities.