Merge remote-tracking branch 'git-svn'

7d5223c6 · Sebastian Krings · 7a8c4ba7 · 3f79334f · 7d5223c6 · 7d5223c6
Commit 7d5223c6 authored 10 years ago by Sebastian Krings
--- a/org.rodinp.handbook.feature/.project
+++ b/org.rodinp.handbook.feature/.project
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>org.rodinp.handbook.feature</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.pde.FeatureBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.pde.FeatureNature</nature>
+	</natures>
+</projectDescription>
--- a/org.rodinp.handbook.feature/README.txt
+++ b/org.rodinp.handbook.feature/README.txt
+OVERVIEW
+========
+
+This project holds the Rodin Handbook and the scripts to publish it.
+
+This feature has two purposes:
+
+1. A container for the content and scripts for the Rodin Handbook
+
+2. A feature that includes the documentation into Eclipse.
+
+HOW TO BUILD
+============
+1. Install Plastex on your system (http://plastex.sourceforge.net/)
+
+-------------------------------------------------------------------
+Windows Installation: 
+	1. Follow the instructions in INSTALL
+	2. Create a plastex.bat with the following content 
+		"C:\Python27\python.exe C:\Python27\Scripts\plastex %1"
+		Please note that you have to adapt the Python installation path!
+	3. Add the path to the plastex.bat to your windows environment path
+-------------------------------------------------------------------	
+2. Install Rubber on your system (https://launchpad.net/rubber)
+3. Run the build.xml ant file
+
+The resulting HTML and Eclipse Plugin with Eclipse help will be in the build folder.
+
+
+-------------------------------------------------------------------
+Linux Installation
+
+  Plastex is available in modern repositories, but it has a horrible
+  performance and creates a lot of zombies (but works).
+  
+  This problem is due to an old version of dvipng.  To solve this, 
+  install dvipng 1.14 or better.
+  
+  Download the .deb from
+  http://packages.debian.org/search?keywords=dvipng
+  Note: You may have to de-install plastex first, isntall dvipng,
+  and then reinstall plastex.
+-------------------------------------------------------------------
+
+HOW TO BUILD AN UPDATE SITE
+===========================
+
+1. Import the org.rodinp.handbook plugin as an existing eclipse 
+project into your eclipse workspace (as a reference) from /build/eclipse.
+If you already imported the project you have to refresh the plugin
+after building the update site project. 
+
+2.  Goto the org.rodinp.handbook.updatesite plugin and open the
+site.xml file.
+
+3. Synchronize all features.
+
+4. Click on the "Build all" button in order to build the update site.
+
+5. Deploy the files ... i.e. http://handbook.event-b.org/updatesite
+
+CONTACT
+=======
+Michael Jastram (michael@jastram.de)
+
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html tal:define="links self/links" xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+<meta name="generator" content="plasTeX" />
+<meta http-equiv="content-type" 
+      tal:attributes="content string:text/html;; charset=${config/files/output-encoding}" />
+<title tal:condition="python:path('self/level') &gt; -10" tal:content="stripped string:${links/document/title}: ${self/title}">Morbi metus pede, imperdiet vitae</title>
+<title tal:condition="python:path('self/level') &lt;= -10" tal:content="stripped self/title">Morbi metus pede, imperdiet vitae</title>
+<link tal:condition="links/next" rel="next" tal:attributes="href links/next/url; title links/next/title/textContent" />
+<link tal:condition="links/prev" rel="prev" tal:attributes="href links/prev/url; title links/prev/title/textContent" />
+<link tal:condition="links/up" rel="up" tal:attributes="href links/up/url; title links/up/title/textContent" />
+<link rel="stylesheet" href="styles/styles.css" />
+<style tal:condition="not:links/prev" type="text/css">
+  #indexbg {
+	background-image:url('icons/rodin_miikka_skaffari_index.jpg');
+	background-repeat:no-repeat;
+	background-position:top left;
+	margin:0;
+	padding:0;
+  }
+</style>
+</head>
+<body>
+
+<div id="indexbg">
+
+<!--
+<div style="float: right; text-align: center; font-family: sans-serif;">
+<a href="" id="feedbackbubble" style="color: red; text-decoration: none;">
+<img src="icons/bubble_48.png" border="0" align="middle"><br><b>Feedback</b></a>
+</div>
+-->
+
+<div tal:content="self">File contents</div>
+
+<div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>-->
+<ul>
+<li tal:repeat="section self/tableofcontents"><a href="." tal:attributes="href section/url" tal:content="section/fullTocEntry">Aliquam est. Aliquam fringilla pede</a>
+   <ul tal:condition="section/tableofcontents">
+   <li tal:repeat="subsection section/tableofcontents"><a href="." tal:attributes="href subsection/url" tal:content="subsection/fullTocEntry"></a>
+       <ul tal:condition="subsection/tableofcontents">
+       <li tal:repeat="subsubsection subsection/tableofcontents"><a href="." tal:attributes="href subsubsection/url" tal:content="subsubsection/fullTocEntry"></a>
+           <ul tal:condition="subsubsection/tableofcontents">
+           <li tal:repeat="paragraph subsubsection/tableofcontents"><a href="." tal:attributes="href paragraph/url" tal:content="paragraph/fullTocEntry"></a>
+               <ul tal:condition="paragraph/tableofcontents">
+               <li tal:repeat="subparagraph paragraph/tableofcontents"><a href="." tal:attributes="href subparagraph/url" tal:content="subparagraph/fullTocEntry"></a></li>
+               </ul>
+           </li>
+           </ul>
+       </li>
+       </ul>
+   </li>
+   </ul>
+</li>
+<li tal:replace="nothing"><a href=".">Maecenas id purus</a></li>
+<li tal:replace="nothing"><a href=".">Duis et eros</a></li>
+<li tal:replace="nothing"><a href=".">Duis est</a></li>
+</ul>
+</div>
+
+<div id="footnotes" tal:condition="self/footnotes">
+<p><b>Footnotes</b></p>
+<ol>
+<li tal:repeat="footnote self/footnotes" tal:content="footnote" tal:attributes="id footnote/id">footnote text</li>
+</ol>
+</div>
+
+<script language="javascript" src="icons/imgadjust.js" type="text/javascript"></script>
+
+<div class="footer">
+<hr />
+ Work sponsored by the <img src="icons/deploy-logo-small.png" /> <a class="footer" href="http://www.deploy-project.eu/">Deploy Project</a> and <img src="icons/advance-logo-small.png"> <a class="footer" href="http://www.advance-ict.eu">ADVANCE Project</a>
+
+| <img src="icons/pdf_icon.gif" /> <a class="footer" href="rodin-doc.pdf">Handbook as PDF</a>
+
+| <img src="icons/wikipedia.png" /> <a class="footer" href="http://wiki.event-b.org/">Rodin Wiki</a>
+
+| <a class="footer" rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">
+<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by-sa.png" /></a>
+Creative Commons License
+|
+<img src="icons/feedback.gif" /> <a class="footer" href="" id="feedback">Feedback</a>
+<div style="visibility:hidden;" id="section" tal:content="self/title"></div>
+<script>
+section = encodeURIComponent(document.getElementById("section").innerHTML);
+url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRzZGdDVE16WFZmZmd1alE6MQ"
+    + String.fromCharCode(38) + "entry_0=" + section;
+document.getElementById("feedbackbubble").href = url;
+document.getElementById("feedback").href = url;
+</script>
+
+</div>
+</div>
+
+<script language="javascript" src="makeindex.js" type="text/javascript"></script>
+
+</body>
+</html>
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/advance-logo-small.png
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/advance-logo-small.png
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/blank.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/blank.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by.png
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by.png
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/deploy-logo-small.png
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/deploy-logo-small.png
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/feedback.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/feedback.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/functionAddEvent.js
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/functionAddEvent.js
+function addEvent(elm, evType, fn, useCapture) {
+	if (elm.addEventListener) { 
+	elm.addEventListener(evType, fn, useCapture); 
+	return true; 
+	}
+	else if (elm.attachEvent) { 
+	var r = elm.attachEvent('on' + evType, fn); 
+	EventCache.add(elm, evType, fn);
+	return r; 
+	}
+	else {
+	elm['on' + evType] = fn;
+	}
+}
+function getEventSrc(e) {
+	if (!e) e = window.event;
+
+	if (e.originalTarget)
+	return e.originalTarget;
+	else if (e.srcElement)
+	return e.srcElement;
+}
+function addLoadEvent(func) {
+var oldonload = window.onload;
+	if (typeof window.onload != 'function') {
+	window.onload = func;
+	} else {
+	window.onload = 
+		function() {
+		oldonload();
+		func();
+		}
+	}
+}
+var EventCache = function(){
+	var listEvents = [];
+	return {
+		listEvents : listEvents,
+	
+		add : function(node, sEventName, fHandler, bCapture){
+			listEvents.push(arguments);
+		},
+	
+		flush : function(){
+			var i, item;
+			for(i = listEvents.length - 1; i >= 0; i = i - 1){
+				item = listEvents[i];
+				
+				if(item[0].removeEventListener){
+					item[0].removeEventListener(item[1], item[2], item[3]);
+				};
+				
+				/* From this point on we need the event names to be prefixed with 'on" */
+				if(item[1].substring(0, 2) != "on"){
+					item[1] = "on" + item[1];
+				};
+				
+				if(item[0].detachEvent){
+					item[0].detachEvent(item[1], item[2]);
+				};
+				
+				item[0][item[1]] = null;
+			};
+		}
+	};
+}();
+
+
+addEvent(window,'unload',EventCache.flush, false);
\ No newline at end of file
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-bottom.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-bottom.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-down.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-down.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-first.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-first.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-home.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-home.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.png
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.png
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-last.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-last.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-next.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-next.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-previous.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-previous.gif
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-top.gif
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-top.gif