1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
<html>
<head>
<link rel="stylesheet" href="yacas.css" TYPE="text/css" MEDIA="screen">
<script type="text/javascript" src="datahub.js"></script>
<script type="text/javascript" src="yacas.js"></script>
<script type="text/javascript">
/* When deep link found, redirect to the tabbified main page */
if (top.location == self.location)
{
self.location.replace("yacas.html");
}
var prevOnLoad = window.onload;
window.onload = initPage;
function initPage()
{
prevOnLoad();
if (document.location.search)
{
var bse = document.location.search;
if (bse.indexOf("?") == 0)
{
bse = bse.substring(1);
}
var elem = document.getElementById("tuttext");
if (elem)
{
elem.contentWindow.document.location.href = bse+"1.html";
}
}
}
</script>
</head>
<body>
<table cellpadding="0">
<tr>
<td>
<span class="yacasConsole" id="tutorial"></span>
<APPLET name="datahub" archive="yacas.jar" code="net.sf.yacas.DatahubApplet" width=1 height=1></APPLET>
</td>
</tr>
<tr>
<td>
<iframe id="tuttext" width=750 height=300 frameborder=0 src="tutorialtext1.html"></iframe>
</td>
</tr>
</table>
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-2425144-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</body>
</html>
|
