Recent changes to package

WikiPage package modified by Graham Barbour

Graham Barbour — Wed, 26 Sep 2012 10:44:00 -0000

--- v16
+++ v17
@@ -18,11 +18,7 @@
 
 ##Packages##
 
-A Principia package is a mechanism for organising Principia documents into namespaces similar to the packages of Java.
-
-* A package provides a unique namespace for the documents, and hence the types, it contains.
-
-It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.
+A Principia package is a mechanism for organising Principia documents into namespaces similar to the packages of Java. A package provides a unique namespace for the documents, and hence the types, it contains. It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.
 
 * A **package name** is a non-empty sequence of "." separated lower-case initialled alpha-numeric strings.

WikiPage package modified by Graham Barbour

Graham Barbour — Wed, 26 Sep 2012 10:42:57 -0000

--- v15
+++ v16
@@ -26,6 +26,8 @@
 
 * A **package name** is a non-empty sequence of "." separated lower-case initialled alpha-numeric strings. 
 
+For example, `foo` and `foo.bAR7` are valid package names, but 'Foo.bAR7', 'foo.Bar' and 'foo.7bar' are illegal.
+
 While the package name is a *unit*, for ease of discourse only, the separated lower-case initialled alpha-numeric strings are called a **package-units**. So a package name is a non-empty sequence of "." separated package-units.
 
 Currently, a further restriction is demanded.
@@ -35,9 +37,8 @@
 This restriction will be dropped in the future. See [No src Restriction] for more information.
 
 
-For example, `foo` and `foo.bAR7` are valid package names, but 'Foo.bAR7', 'foo.Bar' and 'foo.7bar' are illegal.
 
-While a packahe name
+
 
 ##Embedding Constraints##

WikiPage package modified by Graham Barbour

Graham Barbour — Wed, 26 Sep 2012 10:41:48 -0000

--- v14
+++ v15
@@ -24,14 +24,15 @@
 
 It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.
 
-* A **package name** is a sequence of "." separated lower-case initialled alpha-numeric strings. 
+* A **package name** is a non-empty sequence of "." separated lower-case initialled alpha-numeric strings. 
 
 While the package name is a *unit*, for ease of discourse only, the separated lower-case initialled alpha-numeric strings are called a **package-units**. So a package name is a non-empty sequence of "." separated package-units.
 
+Currently, a further restriction is demanded.
 
---- 
+* No package-unit may have the value `src`.
 
-Further, none of these strings may have the value `src`.
+This restriction will be dropped in the future. See [No src Restriction] for more information.
 
 
 For example, `foo` and `foo.bAR7` are valid package names, but 'Foo.bAR7', 'foo.Bar' and 'foo.7bar' are illegal.

WikiPage package modified by Graham Barbour

Graham Barbour — Wed, 26 Sep 2012 10:28:10 -0000

--- v13
+++ v14
@@ -24,10 +24,19 @@
 
 It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.
 
-* A package name is a sequence of "." separated lower-case initialled alpha-numeric strings. Further, none of these strings may have the value `src`.
+* A **package name** is a sequence of "." separated lower-case initialled alpha-numeric strings. 
+
+While the package name is a *unit*, for ease of discourse only, the separated lower-case initialled alpha-numeric strings are called a **package-units**. So a package name is a non-empty sequence of "." separated package-units.
+
+
+--- 
+
+Further, none of these strings may have the value `src`.
 
 
 For example, `foo` and `foo.bAR7` are valid package names, but 'Foo.bAR7', 'foo.Bar' and 'foo.7bar' are illegal.
+
+While a packahe name
 
 ##Embedding Constraints##

WikiPage package modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 23:21:46 -0000

--- v12
+++ v13
@@ -35,5 +35,4 @@
 
 * For example, a [PriTeX file] embedding a document with name `Foo` in package `aaa.bbb`, which must be called `Foo.tex`, must reside in the `bbb` subdirectory of the `aaa` subdirectory of a directory called `src`. The source-directory `src` may reside anywhere.
 
-    :::python
-    # Code goes here ...
+

WikiPage package modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 23:21:13 -0000

--- v11
+++ v12
@@ -35,5 +35,5 @@
 
 * For example, a [PriTeX file] embedding a document with name `Foo` in package `aaa.bbb`, which must be called `Foo.tex`, must reside in the `bbb` subdirectory of the `aaa` subdirectory of a directory called `src`. The source-directory `src` may reside anywhere.
 
-:::python
+    :::python
     # Code goes here ...

WikiPage package modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 23:20:32 -0000

--- v10
+++ v11
@@ -34,3 +34,6 @@
 Just as embeddings impose constraints on the file/url name based on the Principia document name, similar locational constraints are imposed based on the package name.
 
 * For example, a [PriTeX file] embedding a document with name `Foo` in package `aaa.bbb`, which must be called `Foo.tex`, must reside in the `bbb` subdirectory of the `aaa` subdirectory of a directory called `src`. The source-directory `src` may reside anywhere.
+
+:::python
+    # Code goes here ...

WikiPage package modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 23:13:06 -0000

--- v9
+++ v10
@@ -24,6 +24,13 @@
 
 It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.
 
-* A package name is a sequence of "." separated lower-case initialled alpha-numeric strings.
+* A package name is a sequence of "." separated lower-case initialled alpha-numeric strings. Further, none of these strings may have the value `src`.
+
 
 For example, `foo` and `foo.bAR7` are valid package names, but 'Foo.bAR7', 'foo.Bar' and 'foo.7bar' are illegal.
+
+##Embedding Constraints##
+
+Just as embeddings impose constraints on the file/url name based on the Principia document name, similar locational constraints are imposed based on the package name.
+
+* For example, a [PriTeX file] embedding a document with name `Foo` in package `aaa.bbb`, which must be called `Foo.tex`, must reside in the `bbb` subdirectory of the `aaa` subdirectory of a directory called `src`. The source-directory `src` may reside anywhere.

WikiPage package modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 22:59:35 -0000

--- v8
+++ v9
@@ -23,3 +23,7 @@
 * A package provides a unique namespace for the documents, and hence the types, it contains.
 
 It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.
+
+* A package name is a sequence of "." separated lower-case initialled alpha-numeric strings.
+
+For example, `foo` and `foo.bAR7` are valid package names, but 'Foo.bAR7', 'foo.Bar' and 'foo.7bar' are illegal.

WikiPage package modified by Graham Barbour

Graham Barbour — Tue, 25 Sep 2012 22:52:48 -0000

--- v7
+++ v8
@@ -21,3 +21,5 @@
 A Principia package is a mechanism for organising Principia documents into namespaces similar to the packages of Java.
 
 * A package provides a unique namespace for the documents, and hence the types, it contains.
+
+It is legal for two documents to have the same name, provided they reside in different packages. This eases name clashing when documents are imported.