Recent changes to Home

WikiPage Home modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 08:49:41 -0000

--- v30
+++ v31
@@ -25,9 +25,14 @@
 
 ## Installing Principia
 
-Principia is usable. Follow the link [Installing Principia] for detailed installation instructions.
+Principia is usable. Follow the link [Installing Principia] for detailed installation instructions. If all works out, the document `Sets.tex]` will compile and generated `Sets.pdf
+`.
 
+## Playing with Principia ##
 
+If installation is successful, you may wish to play with Principia. The following trail begins with a simple "hello world".
+
+* [Playing with Principia]
 
 
 [[project_admins]]

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 23:14:25 -0000

--- v29
+++ v30
@@ -25,7 +25,7 @@
 
 ## Installing Principia
 
-[Installing Principia].
+Principia is usable. Follow the link [Installing Principia] for detailed installation instructions.

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 22:15:29 -0000

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 22:01:18 -0000

--- v27
+++ v28
@@ -13,7 +13,7 @@
 
 As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf], are demonstrated. Both are available for download independently of the full Principia download.
 
-Sets.tex is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded Principia phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure LaTeX.
+Sets.tex is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded Principia phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [PriTeX delimiters] is pure LaTeX.
 
 The second document, Sets.pdf, is the generated PDF file. It should read as a *natural* mathematical text on formal set theory and the necessary logical infrastructure.

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 22:00:36 -0000

--- v26
+++ v27
@@ -11,11 +11,11 @@
 
 ## The proof-of-concept documents ##
 
-As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf], are demonstrated. Both are available for download independently of the full [Principia] download.
+As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf], are demonstrated. Both are available for download independently of the full Principia download.
 
-[Sets.tex] is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX].
+Sets.tex is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded Principia phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure LaTeX.
 
-The second document, [Sets.pdf], is the generated PDF file. It should read as a *natural* mathematical text on formal set theory and the necessary logical infrastructure. 
+The second document, Sets.pdf, is the generated PDF file. It should read as a *natural* mathematical text on formal set theory and the necessary logical infrastructure. 
 
 
 Follow the link for an analysis of the [Sets.tex] document.

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 21:42:18 -0000

--- v25
+++ v26
@@ -11,9 +11,9 @@
 
 ## The proof-of-concept documents ##
 
-As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf] are demonstrated. Both are available for download independently of the full [Principia] download.
+As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf], are demonstrated. Both are available for download independently of the full [Principia] download.
 
-The document [Sets.tex] is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX].
+[Sets.tex] is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX].
 
 The second document, [Sets.pdf], is the generated PDF file. It should read as a *natural* mathematical text on formal set theory and the necessary logical infrastructure.

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 21:23:13 -0000

--- v24
+++ v25
@@ -11,7 +11,7 @@
 
 ## The proof-of-concept documents ##
 
-Two documents are demonstrated. 
+As a proof-of-concept, two documents, [Sets.tex] and [Sets.pdf] are demonstrated. Both are available for download independently of the full [Principia] download.
 
 The document [Sets.tex] is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX].

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 21:20:31 -0000

--- v23
+++ v24
@@ -3,7 +3,11 @@
 
 [Principia] is a [proof-of-concept] and, while usable, is a long way from initial production release. 
 
+---
+
 [TOC]
+
+---
 
 ## The proof-of-concept documents ##
 
@@ -16,6 +20,8 @@
 
 Follow the link for an analysis of the [Sets.tex] document.
 
+---
+
 
 ## Installing Principia

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 21:19:35 -0000

--- v22
+++ v23
@@ -9,11 +9,10 @@
 
 Two documents are demonstrated. 
 
-The document [Sets.tex] is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine.
+The document [Sets.tex] is a [LaTeX] document that uses the [pritex] package. It has been processed by [XeTeX], which is a [Unicode] aware [TeX] engine. This document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX].
 
 The second document, [Sets.pdf], is the generated PDF file. It should read as a *natural* mathematical text on formal set theory and the necessary logical infrastructure. 
 
-The [LaTeX] document contains embedded [Principia] phrases. These are delimited by the [Unicode] characters 〚〛. Everything outside of [Principia delimiters] is pure [LaTeX]. The usual [LaTeX] boilerplate introduces theorem environments, tools for tables, etcetera. The first [Principia entry] follows the actual document beginning. 
 
 Follow the link for an analysis of the [Sets.tex] document.

WikiPage Home modified by Graham Barbour

Graham Barbour — Mon, 24 Sep 2012 21:16:03 -0000

--- v21
+++ v22
@@ -5,7 +5,7 @@
 
 [TOC]
 
-## The proof-of-concept]documents ##
+## The proof-of-concept documents ##
 
 Two documents are demonstrated.