Merge pull request #180 from daviddoret/dev

packaging #47 - corrected a few syntax issues in tao 2006 along the way

.pypirc

@@ -0,0 +1,12 @@
+[distutils]
+index-servers =
+    pypi
+    testpypi
+
+[pypi]
+username = __token__
+repository = https://upload.pypi.org/legacy/
+
+[testpypi]
+username = __token__
+repository = https://test.pypi.org/legacy/

build/lib/__init__.py

@@ -0,0 +1,24 @@
+"""Punctilious: punctilious/__init__.py
+
+"""
+
+from repm import monospace, prnt, serif_bold
+from core import Article, AxiomDeclaration, AxiomInclusion, ComposableBlockSequence, classes, \
+    configuration, consistency_values, DashedName, create_universe_of_discourse, \
+    DefinitionInclusion, Encoding, encodings, FailedVerificationException, Formula, FreeVariable, \
+    Header, Hypothesis, InconsistencyWarning, interpret_formula, interpret_statement_formula, \
+    is_in_class, InferredStatement, NoteInclusion, Paragraph, ParagraphHeader, paragraph_headers, \
+    prioritize_value, QuasiQuotation, Relation, rep_two_columns_proof_item, ScriptNormal, \
+    SansSerifBold, SansSerifNormal, SerifBoldItalic, SerifItalic, SerifNormal, SimpleObjct, \
+    Statement, Subscript, subscriptify, paragraph_headers, ComposableText, NameSet, SymbolicObject, \
+    TextStyle, text_styles, TheoreticalObject, TheoryElaborationSequence, TheoryPackage, \
+    paragraph_headers, UniverseOfDiscourse
+
+# from foundation_system_1 import foundation_system_1, ft, u
+
+from locale_en_us import locale_en_us
+
+# Configure the default locale
+configuration.locale = locale_en_us
+
+print('punctilious: package initialized. welcome!')