├── .gitignore ├── .project ├── .properties ├── BaselineOfLeibniz ├── BaselineOfLeibniz.class.st └── package.st ├── BaselineOfLeibniz1ForGToolkit ├── BaselineOfLeibniz1ForGToolkit.class.st └── package.st ├── BaselineOfLeibnizForGToolkit ├── BaselineOfLeibnizForGToolkit.class.st └── package.st ├── LICENSE ├── Leibniz ├── Float.extension.st ├── Fraction.extension.st ├── GtHome.extension.st ├── GtPhlowColumnedListView.extension.st ├── GtPhlowColumnedTreeView.extension.st ├── GtPhlowListView.extension.st ├── GtPhlowProtoView.extension.st ├── GtPhlowTreeView.extension.st ├── Integer.extension.st ├── LbArity.class.st ├── LbAtomicTerm.class.st ├── LbAxiom.class.st ├── LbAxiomBuilder.class.st ├── LbAxiomExamples.class.st ├── LbAxiomParserExamples.class.st ├── LbAxioms.class.st ├── LbBooleanTerm.class.st ├── LbBracketOperatorName.class.st ├── LbBuiltinContexts.class.st ├── LbBuiltinDSignatures.class.st ├── LbBuiltinDSortGraphs.class.st ├── LbBuiltinRewriteSystems.class.st ├── LbBuiltinSignatures.class.st ├── LbBuiltinSortGraphs.class.st ├── LbCodeFont.class.st ├── LbContext.class.st ├── LbContextBuilder.class.st ├── LbContextExamples.class.st ├── LbContextTerm.class.st ├── LbDArity.class.st ├── LbDArityPair.class.st ├── LbDKind.class.st ├── LbDKindArity.class.st ├── LbDOperator.class.st ├── LbDSignature.class.st ├── LbDSignatureBuilder.class.st ├── LbDSignatureParser.class.st ├── LbDSort.class.st ├── LbDSortExamples.class.st ├── LbDSortFamily.class.st ├── LbDSortGraph.class.st ├── LbDSortGraphBuilder.class.st ├── LbDSortPair.class.st ├── LbDSortSpecificFamily.class.st ├── LbDSortUniversalFamily.class.st ├── LbEqualityAxiom.class.st ├── LbFPNumberTerm.class.st ├── LbFakeSignatureForSortParser.class.st ├── LbFunctionRule.class.st ├── LbGrammarIdentifiersAndLiterals.class.st ├── LbGrammarRulesAndAxioms.class.st ├── LbGrammarSignaturesAndTerms.class.st ├── LbGrammarTokens.class.st ├── LbGraphicsElements.class.st ├── LbInfixOperatorName.class.st ├── LbIntegerTerm.class.st ├── LbKind.class.st ├── LbMatchingRules.class.st ├── LbOpTerm.class.st ├── LbOperator.class.st ├── LbOperatorName.class.st ├── LbOrigins.class.st ├── LbParser.class.st ├── LbPhlowColumnedTreeView.class.st ├── LbPhlowTreeView.class.st ├── LbPrefixOperatorName.class.st ├── LbPseudoOperatorName.class.st ├── LbRationalNumberTerm.class.st ├── LbReductionStep.class.st ├── LbReductionSteps.class.st ├── LbRewriteFailure.class.st ├── LbRewriteRule.class.st ├── LbRewriteStep.class.st ├── LbRewriteSystem.class.st ├── LbRewriteSystemBuilder.class.st ├── LbRewriteSystemExamples.class.st ├── LbRule.class.st ├── LbRuleExamples.class.st ├── LbRuleParserExamples.class.st ├── LbSignature.class.st ├── LbSignatureBuilder.class.st ├── LbSignatureExamples.class.st ├── LbSort.class.st ├── LbSortClassifier.class.st ├── LbSortGraph.class.st ├── LbSortGraphBuilder.class.st ├── LbSortGraphExamples.class.st ├── LbStringTerm.class.st ├── LbSubscriptOperatorName.class.st ├── LbSubsortAxiom.class.st ├── LbSubsortRelation.class.st ├── LbSuperscriptOperatorName.class.st ├── LbTaggedVariableName.class.st ├── LbTerm.class.st ├── LbTermExamples.class.st ├── LbTermParserExamples.class.st ├── LbUniversalVarTerm.class.st ├── LbVarTerm.class.st ├── LbVariable.class.st ├── LbVariables.class.st ├── LeibnizBuiltins.class.st ├── LeibnizBuiltinsTest.class.st ├── LeibnizDocument.class.st ├── LeibnizDocumentTest.class.st ├── LeibnizLibrary.class.st ├── LeibnizParserTest.class.st ├── LeibnizRewriteSystemTest.class.st ├── ManifestLeibniz.class.st ├── Object.extension.st ├── SequenceableCollection.extension.st ├── String.extension.st ├── Symbol.extension.st └── package.st ├── Leibniz2 ├── Character.extension.st ├── Color.extension.st ├── GtHome.extension.st ├── GtPhlowColumnedListView.extension.st ├── GtPhlowColumnedTreeView.extension.st ├── GtPhlowListView.extension.st ├── GtPhlowProtoView.extension.st ├── GtPhlowTreeView.extension.st ├── LeContent.extension.st ├── LeDatabase.extension.st ├── LeExportVisitor.extension.st ├── LeHtmlTextSnippetAnnotationVisitor.extension.st ├── LePage.extension.st ├── LeSnippet.extension.st ├── LeTextSnippet.extension.st ├── LzAnnotationStyler.class.st ├── LzArgNameAnnotation.class.st ├── LzArgNameAttribute.class.st ├── LzArity.class.st ├── LzArrayENode.class.st ├── LzArrayElementsNode.class.st ├── LzArrayExamples.class.st ├── LzArrayTerm.class.st ├── LzArrayTermDeclaration.class.st ├── LzArrayTermNode.class.st ├── LzAssetDeclaration.class.st ├── LzAssetLabelAttribute.class.st ├── LzAssetPrefixNode.class.st ├── LzAtomicTerm.class.st ├── LzAutoUpdatingSyntaxLabel.class.st ├── LzAxiom.class.st ├── LzAxiomDeclaration.class.st ├── LzBaselineAttribute.class.st ├── LzBindings.class.st ├── LzBindingsObsolete.class.st ├── LzBindingsSortVarNode.class.st ├── LzBindingsVarNode.class.st ├── LzBlockLinksVisitor.class.st ├── LzBook.class.st ├── LzBooleanTerm.class.st ├── LzBracketOpName.class.st ├── LzBracketOpNode.class.st ├── LzBracketOpTermNode.class.st ├── LzBuiltinContexts.class.st ├── LzButtonLabelAptitude.class.st ├── LzCodeFont.class.st ├── LzColonAttribute.class.st ├── LzColors.class.st ├── LzCompoundStepTermNode.class.st ├── LzConditionAttribute.class.st ├── LzConstants.class.st ├── LzContext.class.st ├── LzContextBuilder.class.st ├── LzContextNameAttribute.class.st ├── LzDBCache.class.st ├── LzDBRegistry.class.st ├── LzDebuggingUtilities.class.st ├── LzDeclaration.class.st ├── LzDeclarationAnnotation.class.st ├── LzDeclarationBuilder.class.st ├── LzDeclarationWithVariables.class.st ├── LzDisjointIntegerSets.class.st ├── LzDoNotRenderAttribute.class.st ├── LzEClass.class.st ├── LzEGraph.class.st ├── LzEGraphExamples.class.st ├── LzEGraphMatch.class.st ├── LzEGraphMatchStreamContents.class.st ├── LzEGraphRewriteCycleError.class.st ├── LzENode.class.st ├── LzEqualSignAttribute.class.st ├── LzEqualityAxiom.class.st ├── LzEqualityAxiomDeclaration.class.st ├── LzExampleContexts.class.st ├── LzExamples.class.st ├── LzExecutionState.class.st ├── LzFPLiteralDeclaration.class.st ├── LzFloatingPointNumberTerm.class.st ├── LzFpNumberLiteralTermNode.class.st ├── LzFunctionRule.class.st ├── LzFunctionRuleDeclaration.class.st ├── LzGlobalCache.class.st ├── LzGrammarIdentifiersAndLiterals.class.st ├── LzGrammarRulesAndAxioms.class.st ├── LzGrammarSignaturesAndTerms.class.st ├── LzGrammarTokens.class.st ├── LzGraphicsElements.class.st ├── LzHomeSection.class.st ├── LzHtlmTextSnippetRuleWriter.class.st ├── LzHtlmTextSnippetSortWriter.class.st ├── LzHtmlExporter.class.st ├── LzHtmlPageExporter.class.st ├── LzHtmlSyntaxPiece.class.st ├── LzHtmlTextSnippetAnnotationWriter.class.st ├── LzHtmlTextSnippetAssetWriter.class.st ├── LzHtmlTextSnippetEqualityAxiomWriter.class.st ├── LzHtmlTextSnippetOpWriter.class.st ├── LzHtmlTextSnippetSpecialTermsWriter.class.st ├── LzHtmlTextSnippetSubsortWriter.class.st ├── LzHtmlTextSnippetTermWriter.class.st ├── LzHtmlTextSnippetUseContextWriter.class.st ├── LzIdentifierAttribute.class.st ├── LzInfixOpName.class.st ├── LzInfixOpNameAttribute.class.st ├── LzInfixOpNode.class.st ├── LzInfixOpTermNode.class.st ├── LzIntegerLiteralDeclaration.class.st ├── LzIntegerLiteralTermNode.class.st ├── LzIntegerTerm.class.st ├── LzKind.class.st ├── LzLanguageTagAttribute.class.st ├── LzLeafENode.class.st ├── LzLeafErrorAttribute.class.st ├── LzLepiterExamples.class.st ├── LzLinePlot.class.st ├── LzLiteralAttribute.class.st ├── LzLiteralDeclaration.class.st ├── LzLiteralTermNode.class.st ├── LzMatchingRules.class.st ├── LzNonLeafENode.class.st ├── LzOpArgNode.class.st ├── LzOpDeclaration.class.st ├── LzOpENode.class.st ├── LzOpName.class.st ├── LzOpNode.class.st ├── LzOpSortFamily.class.st ├── LzOpTerm.class.st ├── LzOpTermDeclaration.class.st ├── LzOperator.class.st ├── LzOperators.class.st ├── LzOptionNode.class.st ├── LzPageContextCache.class.st ├── LzPageContextChanged.class.st ├── LzPageDeclarationCache.class.st ├── LzPageDeclarationsChanged.class.st ├── LzPageReferenceNode.class.st ├── LzParenthesesAnnotation.class.st ├── LzParenthesisAttribute.class.st ├── LzParenthesizedTermNode.class.st ├── LzParseTreeNode.class.st ├── LzParseTreeNodeVisitor.class.st ├── LzParser.class.st ├── LzParser2.class.st ├── LzParserExamples.class.st ├── LzPatternDeclaration.class.st ├── LzPatternMatcher.class.st ├── LzPatternNode.class.st ├── LzPharoCodeAttribute.class.st ├── LzPhlowColumnedTreeView.class.st ├── LzPhlowTreeView.class.st ├── LzPlotTerm.class.st ├── LzPrefixOpName.class.st ├── LzPrefixOpNameAttribute.class.st ├── LzPrefixOpNode.class.st ├── LzPrefixOpTermNode.class.st ├── LzProgramTerm.class.st ├── LzProgramTermDeclaration.class.st ├── LzProgramTermNode.class.st ├── LzPythonCode.class.st ├── LzRandom.class.st ├── LzRandomExamples.class.st ├── LzRandomTerms.class.st ├── LzRationalLiteralDeclaration.class.st ├── LzRationalNumberLiteralTermNode.class.st ├── LzRationalNumberTerm.class.st ├── LzRewriteArrowAttribute.class.st ├── LzRewriteCache.class.st ├── LzRewriteFailure.class.st ├── LzRewriteRule.class.st ├── LzRewriteRuleDeclaration.class.st ├── LzRewriteSystem.class.st ├── LzRewriteSystemBuilder.class.st ├── LzRule.class.st ├── LzRuleDeclaration.class.st ├── LzRuleMatcher.class.st ├── LzRuleOrderAttribute.class.st ├── LzRulePrefixNode.class.st ├── LzScanner.class.st ├── LzScopedProgramTerm.class.st ├── LzScopedVarName.class.st ├── LzShadowedBindings.class.st ├── LzSignature.class.st ├── LzSignatureBuilder.class.st ├── LzSimpleOpArgNode.class.st ├── LzSnippetTerm.class.st ├── LzSort.class.st ├── LzSortAttribute.class.st ├── LzSortDeclaration.class.st ├── LzSortExamples.class.st ├── LzSortFamily.class.st ├── LzSortFlagNode.class.st ├── LzSortGraph.class.st ├── LzSortGraphBuilder.class.st ├── LzSortHierarchyRoot.class.st ├── LzSortHierarchyRootGraph.class.st ├── LzSortPair.class.st ├── LzSortPatternMatcher.class.st ├── LzSpecialTermAttribute.class.st ├── LzSpecialTermsDeclaration.class.st ├── LzStateDeclaration.class.st ├── LzStepNode.class.st ├── LzStepTermNode.class.st ├── LzStreamContents.class.st ├── LzStreamContentsMoreItemsEvent.class.st ├── LzStringLiteralDeclaration.class.st ├── LzStringLiteralTermNode.class.st ├── LzStringTerm.class.st ├── LzSubcontextNameAttribute.class.st ├── LzSubscriptAttribute.class.st ├── LzSubscriptOpName.class.st ├── LzSubscriptOpNode.class.st ├── LzSubscriptOpTermNode.class.st ├── LzSubsortAttribute.class.st ├── LzSubsortAxiom.class.st ├── LzSubsortAxiomDeclaration.class.st ├── LzSubsortRelation.class.st ├── LzSuperscriptAttribute.class.st ├── LzSuperscriptOpName.class.st ├── LzSuperscriptOpNode.class.st ├── LzSuperscriptOpTermNode.class.st ├── LzSyntaxAttribute.class.st ├── LzSyntaxLabel.class.st ├── LzSyntaxLabelSegment.class.st ├── LzTaggedVarName.class.st ├── LzTerm.class.st ├── LzTermDeclaration.class.st ├── LzTermInContext.class.st ├── LzTermInContextWithEGraph.class.st ├── LzTermNode.class.st ├── LzTermStreamContents.class.st ├── LzTermsWithSharedVars.class.st ├── LzTextRenderer.class.st ├── LzTopLevelAnnotation.class.st ├── LzTopLevelAssetNode.class.st ├── LzTopLevelEqualityAxiomNode.class.st ├── LzTopLevelFunctionRuleNode.class.st ├── LzTopLevelOpNode.class.st ├── LzTopLevelRewriteRuleNode.class.st ├── LzTopLevelRuleNode.class.st ├── LzTopLevelSortNode.class.st ├── LzTopLevelSpecialTermsNode.class.st ├── LzTopLevelStateNode.class.st ├── LzTopLevelSubsortNode.class.st ├── LzTopLevelTermNode.class.st ├── LzTopLevelUseContextNode.class.st ├── LzTupleOpName.class.st ├── LzTupleOpNode.class.st ├── LzTupleTermNode.class.st ├── LzUniversalSortFamily.class.st ├── LzUseContextDeclaration.class.st ├── LzUseContextLink.class.st ├── LzVarDeclaration.class.st ├── LzVarDeclarationAttribute.class.st ├── LzVarDeclarationBuilder.class.st ├── LzVarName.class.st ├── LzVarNameAttribute.class.st ├── LzVarNameScopeAttribute.class.st ├── LzVarNode.class.st ├── LzVarTerm.class.st ├── LzVarTermDeclaration.class.st ├── LzVarTermNode.class.st ├── LzVarTermWithSortNode.class.st ├── Number.extension.st ├── Object.extension.st ├── SequenceableCollection.extension.st ├── TLeAnnotationParseNodeVisitor.extension.st ├── TLzEquality.trait.st ├── TLzParseTreeNodeVisitor.trait.st ├── TLzPrintable.trait.st └── package.st ├── README.md ├── RecurrenceEquations ├── Array2D.extension.st ├── RESequence.class.st └── package.st ├── codemeta.json ├── documentation ├── 15an0sxslnisd3s7e7hg0mni2.lepiter ├── 1qb2k76mp1iuc1ipveqzwkpxb.lepiter ├── 1qe04zoah85cojlech7w4bs43.lepiter ├── 1qe04zpa015wigdwwv2a4sraq.lepiter ├── 1qe04zsshzg9n8c5jgg3blybe.lepiter ├── 21abculpoq2ulcr32c99tmrze.lepiter ├── 23r6v6rde97xi1rh09h7ktwjj.lepiter ├── 27k6m51c8gca1rcd0zhxrcbh3.lepiter ├── 2r7m9a4njxu21tjb61eu0uk14.lepiter ├── 3epnh4oic6yehumiqky7u8m3r.lepiter ├── 3l27xbfxzqpgw8jfoswnvtr5f.lepiter ├── 3wgydbg80dfwrn8ltp8tnzmwq.lepiter ├── 3z4n36983emhllnn3dizcvoxz.lepiter ├── 3z4n36cq3wxyff1qwz0gd4t97.lepiter ├── 45a53kdvxcznhytyuniwltciu.lepiter ├── 48ihsnndxciajfvsleumzirk.lepiter ├── 4blardv7a65en1up3auvdj7yq.lepiter ├── 4db7150gmkgw4t6xh6kzrkj8m.lepiter ├── 4db7152chk5vpizwrmxkpvsqh.lepiter ├── 4db71554d417bap7drx5inkjy.lepiter ├── 4q8viqkvamexvmtrp6sefita2.lepiter ├── 6h5h7fu4a4vix5gl5p57s0s16.lepiter ├── 6jeofw4wusaen3scns3ubesn0.lepiter ├── 6l9qky4e9akrlizxa7kx22up4.lepiter ├── 6nz1ale1cugh1ekzq3gph602f.lepiter ├── 748hz1dcrnn7zrb9ld8qymj97.lepiter ├── 7ju60g50ncgv3bduboznmga0t.lepiter ├── 7oieyq9lxucgltg56c8e2g21q.lepiter ├── 7oieyqdcc71i3x5yhecy8b13t.lepiter ├── 7yr8o6o4z70ejfv9eqs3s615e.lepiter ├── 8qetpkmaitk2mnkysyi8dl02f.lepiter ├── 97325lutjbpdbrrq1ge9iixut.lepiter ├── 97325lvfc5upb0cn6mtyug272.lepiter ├── 9m4wnbxyvmx81463ym19jbvr2.lepiter ├── 9m4wnc0ywzqz8alpx4h9f1omc.lepiter ├── 9s3ooust2uhfkrkm68oid11ii.lepiter ├── a76m7k7lvew1fnzvw78pqeaxz.lepiter ├── ambazq0tycucl8oymwtqvu9n2.lepiter ├── bemmw9pjpy566mvtehal7mj69.lepiter ├── bpwm845q7mafqno9r2h34n1ms.lepiter ├── crsva4vsu07o298777iz1ngm5.lepiter ├── d1rxbaos7e30x3kiauexipyv7.lepiter ├── d4vdbw331d1r1n5l0hjqxuz08.lepiter ├── d988tmksre7zbpnhkkbjq06iv.lepiter ├── dqrb64mlcyfa99z20147hccm0.lepiter ├── dsdijxuuq5ibgwdfzxayd47a9.lepiter ├── dtgkzzo47exs7djhvpv16xv66.lepiter ├── dtgkzzsgdamz46njti3u7r1no.lepiter ├── duo76pot31v3zx8ali30phabc.lepiter ├── dx4uzcfvx710f79ajkkgjq1dj.lepiter ├── e0icd9zipxftiqskyfinyvp7y.lepiter ├── e66wrick5ute5pt5whuznknj4.lepiter ├── e66wrid53zjw7555u8weezpmd.lepiter ├── e66wrid5v46ftyy9f1gvnq6c1.lepiter ├── edphzvdu0zufpwzxzzr0vwmlq.lepiter ├── edphzvfg80qxuspu2uzefzf0v.lepiter ├── ee61j9bq1t5zrsionvov8p4ah.lepiter ├── eeuhoubq1enqrc33ndtqotx3h.lepiter ├── eeuhouc9pkdw24apyl6iuotbl.lepiter ├── eeuhoudt2yfyq3sy70p5fo4xt.lepiter ├── eeuhouh5jexm20g0zr49d8otj.lepiter ├── ep7y4q7576rbwsef8se1qp89x.lepiter ├── ep7y4qa8ypkj7mgff0xntrxi4.lepiter ├── evq4rfzogttoyq7rk0lafa662.lepiter ├── lepiter.properties ├── lru75vl1pjomrldom3anobkn.lepiter ├── lru75zh6m921ytp6lrqfurd5.lepiter ├── mkxlhwmz21nz482hklx091hf.lepiter ├── msy4vumofomuwnp3uexdt634.lepiter ├── msy4vyizwljhe1awv1pqxz1a.lepiter ├── nbuihxv6ryjx7wb5kg9gavzl.lepiter ├── q2ov0b2xscjtwg4jf3mzgx1b.lepiter ├── wyqumk8osgn8uzsbbel04wvs.lepiter └── zexnrro622xyay877kcqdigu.lepiter ├── html ├── assets │ ├── css │ │ └── leibniz.css │ └── fonts │ │ ├── JuliaMono-Bold.woff2 │ │ ├── JuliaMono-BoldItalic.woff2 │ │ ├── JuliaMono-Regular.woff2 │ │ └── JuliaMono-RegularItalic.woff2 ├── page-template.html └── single-page-template.html ├── leibniz-installation-1.png ├── leibniz-installation-2.png ├── leibniz-installation-3.png ├── leibniz-installation-4.png └── screenshot.png /.gitignore: -------------------------------------------------------------------------------- 1 | documentation/**.bak 2 | -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- 1 | { 2 | 'srcDirectory' : '' 3 | } -------------------------------------------------------------------------------- /.properties: -------------------------------------------------------------------------------- 1 | { 2 | #format : #tonel 3 | } -------------------------------------------------------------------------------- /BaselineOfLeibniz/BaselineOfLeibniz.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/BaselineOfLeibniz/BaselineOfLeibniz.class.st -------------------------------------------------------------------------------- /BaselineOfLeibniz/package.st: -------------------------------------------------------------------------------- 1 | Package { #name : #BaselineOfLeibniz } 2 | -------------------------------------------------------------------------------- /BaselineOfLeibniz1ForGToolkit/BaselineOfLeibniz1ForGToolkit.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/BaselineOfLeibniz1ForGToolkit/BaselineOfLeibniz1ForGToolkit.class.st -------------------------------------------------------------------------------- /BaselineOfLeibniz1ForGToolkit/package.st: -------------------------------------------------------------------------------- 1 | Package { #name : #BaselineOfLeibniz1ForGToolkit } 2 | -------------------------------------------------------------------------------- /BaselineOfLeibnizForGToolkit/BaselineOfLeibnizForGToolkit.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/BaselineOfLeibnizForGToolkit/BaselineOfLeibnizForGToolkit.class.st -------------------------------------------------------------------------------- /BaselineOfLeibnizForGToolkit/package.st: -------------------------------------------------------------------------------- 1 | Package { #name : #BaselineOfLeibnizForGToolkit } 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/LICENSE -------------------------------------------------------------------------------- /Leibniz/Float.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/Float.extension.st -------------------------------------------------------------------------------- /Leibniz/Fraction.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/Fraction.extension.st -------------------------------------------------------------------------------- /Leibniz/GtHome.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/GtHome.extension.st -------------------------------------------------------------------------------- /Leibniz/GtPhlowColumnedListView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/GtPhlowColumnedListView.extension.st -------------------------------------------------------------------------------- /Leibniz/GtPhlowColumnedTreeView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/GtPhlowColumnedTreeView.extension.st -------------------------------------------------------------------------------- /Leibniz/GtPhlowListView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/GtPhlowListView.extension.st -------------------------------------------------------------------------------- /Leibniz/GtPhlowProtoView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/GtPhlowProtoView.extension.st -------------------------------------------------------------------------------- /Leibniz/GtPhlowTreeView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/GtPhlowTreeView.extension.st -------------------------------------------------------------------------------- /Leibniz/Integer.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/Integer.extension.st -------------------------------------------------------------------------------- /Leibniz/LbArity.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbArity.class.st -------------------------------------------------------------------------------- /Leibniz/LbAtomicTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbAtomicTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbAxiom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbAxiom.class.st -------------------------------------------------------------------------------- /Leibniz/LbAxiomBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbAxiomBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbAxiomExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbAxiomExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbAxiomParserExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbAxiomParserExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbAxioms.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbAxioms.class.st -------------------------------------------------------------------------------- /Leibniz/LbBooleanTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBooleanTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbBracketOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBracketOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbBuiltinContexts.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBuiltinContexts.class.st -------------------------------------------------------------------------------- /Leibniz/LbBuiltinDSignatures.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBuiltinDSignatures.class.st -------------------------------------------------------------------------------- /Leibniz/LbBuiltinDSortGraphs.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBuiltinDSortGraphs.class.st -------------------------------------------------------------------------------- /Leibniz/LbBuiltinRewriteSystems.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBuiltinRewriteSystems.class.st -------------------------------------------------------------------------------- /Leibniz/LbBuiltinSignatures.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBuiltinSignatures.class.st -------------------------------------------------------------------------------- /Leibniz/LbBuiltinSortGraphs.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbBuiltinSortGraphs.class.st -------------------------------------------------------------------------------- /Leibniz/LbCodeFont.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbCodeFont.class.st -------------------------------------------------------------------------------- /Leibniz/LbContext.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbContext.class.st -------------------------------------------------------------------------------- /Leibniz/LbContextBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbContextBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbContextExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbContextExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbContextTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbContextTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbDArity.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDArity.class.st -------------------------------------------------------------------------------- /Leibniz/LbDArityPair.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDArityPair.class.st -------------------------------------------------------------------------------- /Leibniz/LbDKind.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDKind.class.st -------------------------------------------------------------------------------- /Leibniz/LbDKindArity.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDKindArity.class.st -------------------------------------------------------------------------------- /Leibniz/LbDOperator.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDOperator.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSignature.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSignature.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSignatureBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSignatureBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSignatureParser.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSignatureParser.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSort.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSort.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortFamily.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortFamily.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortGraph.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortGraph.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortGraphBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortGraphBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortPair.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortPair.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortSpecificFamily.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortSpecificFamily.class.st -------------------------------------------------------------------------------- /Leibniz/LbDSortUniversalFamily.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbDSortUniversalFamily.class.st -------------------------------------------------------------------------------- /Leibniz/LbEqualityAxiom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbEqualityAxiom.class.st -------------------------------------------------------------------------------- /Leibniz/LbFPNumberTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbFPNumberTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbFakeSignatureForSortParser.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbFakeSignatureForSortParser.class.st -------------------------------------------------------------------------------- /Leibniz/LbFunctionRule.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbFunctionRule.class.st -------------------------------------------------------------------------------- /Leibniz/LbGrammarIdentifiersAndLiterals.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbGrammarIdentifiersAndLiterals.class.st -------------------------------------------------------------------------------- /Leibniz/LbGrammarRulesAndAxioms.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbGrammarRulesAndAxioms.class.st -------------------------------------------------------------------------------- /Leibniz/LbGrammarSignaturesAndTerms.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbGrammarSignaturesAndTerms.class.st -------------------------------------------------------------------------------- /Leibniz/LbGrammarTokens.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbGrammarTokens.class.st -------------------------------------------------------------------------------- /Leibniz/LbGraphicsElements.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbGraphicsElements.class.st -------------------------------------------------------------------------------- /Leibniz/LbInfixOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbInfixOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbIntegerTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbIntegerTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbKind.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbKind.class.st -------------------------------------------------------------------------------- /Leibniz/LbMatchingRules.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbMatchingRules.class.st -------------------------------------------------------------------------------- /Leibniz/LbOpTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbOpTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbOperator.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbOperator.class.st -------------------------------------------------------------------------------- /Leibniz/LbOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbOrigins.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbOrigins.class.st -------------------------------------------------------------------------------- /Leibniz/LbParser.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbParser.class.st -------------------------------------------------------------------------------- /Leibniz/LbPhlowColumnedTreeView.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbPhlowColumnedTreeView.class.st -------------------------------------------------------------------------------- /Leibniz/LbPhlowTreeView.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbPhlowTreeView.class.st -------------------------------------------------------------------------------- /Leibniz/LbPrefixOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbPrefixOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbPseudoOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbPseudoOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbRationalNumberTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRationalNumberTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbReductionStep.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbReductionStep.class.st -------------------------------------------------------------------------------- /Leibniz/LbReductionSteps.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbReductionSteps.class.st -------------------------------------------------------------------------------- /Leibniz/LbRewriteFailure.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRewriteFailure.class.st -------------------------------------------------------------------------------- /Leibniz/LbRewriteRule.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRewriteRule.class.st -------------------------------------------------------------------------------- /Leibniz/LbRewriteStep.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRewriteStep.class.st -------------------------------------------------------------------------------- /Leibniz/LbRewriteSystem.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRewriteSystem.class.st -------------------------------------------------------------------------------- /Leibniz/LbRewriteSystemBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRewriteSystemBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbRewriteSystemExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRewriteSystemExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbRule.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRule.class.st -------------------------------------------------------------------------------- /Leibniz/LbRuleExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRuleExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbRuleParserExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbRuleParserExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbSignature.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSignature.class.st -------------------------------------------------------------------------------- /Leibniz/LbSignatureBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSignatureBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbSignatureExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSignatureExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbSort.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSort.class.st -------------------------------------------------------------------------------- /Leibniz/LbSortClassifier.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSortClassifier.class.st -------------------------------------------------------------------------------- /Leibniz/LbSortGraph.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSortGraph.class.st -------------------------------------------------------------------------------- /Leibniz/LbSortGraphBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSortGraphBuilder.class.st -------------------------------------------------------------------------------- /Leibniz/LbSortGraphExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSortGraphExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbStringTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbStringTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbSubscriptOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSubscriptOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbSubsortAxiom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSubsortAxiom.class.st -------------------------------------------------------------------------------- /Leibniz/LbSubsortRelation.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSubsortRelation.class.st -------------------------------------------------------------------------------- /Leibniz/LbSuperscriptOperatorName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbSuperscriptOperatorName.class.st -------------------------------------------------------------------------------- /Leibniz/LbTaggedVariableName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbTaggedVariableName.class.st -------------------------------------------------------------------------------- /Leibniz/LbTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbTermExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbTermExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbTermParserExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbTermParserExamples.class.st -------------------------------------------------------------------------------- /Leibniz/LbUniversalVarTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbUniversalVarTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbVarTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbVarTerm.class.st -------------------------------------------------------------------------------- /Leibniz/LbVariable.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbVariable.class.st -------------------------------------------------------------------------------- /Leibniz/LbVariables.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LbVariables.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizBuiltins.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizBuiltins.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizBuiltinsTest.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizBuiltinsTest.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizDocument.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizDocument.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizDocumentTest.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizDocumentTest.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizLibrary.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizLibrary.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizParserTest.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizParserTest.class.st -------------------------------------------------------------------------------- /Leibniz/LeibnizRewriteSystemTest.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/LeibnizRewriteSystemTest.class.st -------------------------------------------------------------------------------- /Leibniz/ManifestLeibniz.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/ManifestLeibniz.class.st -------------------------------------------------------------------------------- /Leibniz/Object.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/Object.extension.st -------------------------------------------------------------------------------- /Leibniz/SequenceableCollection.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/SequenceableCollection.extension.st -------------------------------------------------------------------------------- /Leibniz/String.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/String.extension.st -------------------------------------------------------------------------------- /Leibniz/Symbol.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz/Symbol.extension.st -------------------------------------------------------------------------------- /Leibniz/package.st: -------------------------------------------------------------------------------- 1 | Package { #name : #Leibniz } 2 | -------------------------------------------------------------------------------- /Leibniz2/Character.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/Character.extension.st -------------------------------------------------------------------------------- /Leibniz2/Color.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/Color.extension.st -------------------------------------------------------------------------------- /Leibniz2/GtHome.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/GtHome.extension.st -------------------------------------------------------------------------------- /Leibniz2/GtPhlowColumnedListView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/GtPhlowColumnedListView.extension.st -------------------------------------------------------------------------------- /Leibniz2/GtPhlowColumnedTreeView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/GtPhlowColumnedTreeView.extension.st -------------------------------------------------------------------------------- /Leibniz2/GtPhlowListView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/GtPhlowListView.extension.st -------------------------------------------------------------------------------- /Leibniz2/GtPhlowProtoView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/GtPhlowProtoView.extension.st -------------------------------------------------------------------------------- /Leibniz2/GtPhlowTreeView.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/GtPhlowTreeView.extension.st -------------------------------------------------------------------------------- /Leibniz2/LeContent.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LeContent.extension.st -------------------------------------------------------------------------------- /Leibniz2/LeDatabase.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LeDatabase.extension.st -------------------------------------------------------------------------------- /Leibniz2/LeExportVisitor.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LeExportVisitor.extension.st -------------------------------------------------------------------------------- /Leibniz2/LeHtmlTextSnippetAnnotationVisitor.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LeHtmlTextSnippetAnnotationVisitor.extension.st -------------------------------------------------------------------------------- /Leibniz2/LePage.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LePage.extension.st -------------------------------------------------------------------------------- /Leibniz2/LeSnippet.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LeSnippet.extension.st -------------------------------------------------------------------------------- /Leibniz2/LeTextSnippet.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LeTextSnippet.extension.st -------------------------------------------------------------------------------- /Leibniz2/LzAnnotationStyler.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAnnotationStyler.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArgNameAnnotation.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArgNameAnnotation.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArgNameAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArgNameAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArity.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArity.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArrayENode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArrayENode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArrayElementsNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArrayElementsNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArrayExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArrayExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArrayTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArrayTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArrayTermDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArrayTermDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzArrayTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzArrayTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAssetDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAssetDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAssetLabelAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAssetLabelAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAssetPrefixNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAssetPrefixNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAtomicTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAtomicTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAutoUpdatingSyntaxLabel.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAutoUpdatingSyntaxLabel.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAxiom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAxiom.class.st -------------------------------------------------------------------------------- /Leibniz2/LzAxiomDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzAxiomDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBaselineAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBaselineAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBindings.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBindings.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBindingsObsolete.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBindingsObsolete.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBindingsSortVarNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBindingsSortVarNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBindingsVarNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBindingsVarNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBlockLinksVisitor.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBlockLinksVisitor.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBook.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBook.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBooleanTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBooleanTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBracketOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBracketOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBracketOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBracketOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBracketOpTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBracketOpTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzBuiltinContexts.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzBuiltinContexts.class.st -------------------------------------------------------------------------------- /Leibniz2/LzButtonLabelAptitude.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzButtonLabelAptitude.class.st -------------------------------------------------------------------------------- /Leibniz2/LzCodeFont.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzCodeFont.class.st -------------------------------------------------------------------------------- /Leibniz2/LzColonAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzColonAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzColors.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzColors.class.st -------------------------------------------------------------------------------- /Leibniz2/LzCompoundStepTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzCompoundStepTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzConditionAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzConditionAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzConstants.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzConstants.class.st -------------------------------------------------------------------------------- /Leibniz2/LzContext.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzContext.class.st -------------------------------------------------------------------------------- /Leibniz2/LzContextBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzContextBuilder.class.st -------------------------------------------------------------------------------- /Leibniz2/LzContextNameAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzContextNameAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDBCache.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDBCache.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDBRegistry.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDBRegistry.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDebuggingUtilities.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDebuggingUtilities.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDeclarationAnnotation.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDeclarationAnnotation.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDeclarationBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDeclarationBuilder.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDeclarationWithVariables.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDeclarationWithVariables.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDisjointIntegerSets.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDisjointIntegerSets.class.st -------------------------------------------------------------------------------- /Leibniz2/LzDoNotRenderAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzDoNotRenderAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEClass.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEClass.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEGraph.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEGraph.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEGraphExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEGraphExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEGraphMatch.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEGraphMatch.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEGraphMatchStreamContents.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEGraphMatchStreamContents.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEGraphRewriteCycleError.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEGraphRewriteCycleError.class.st -------------------------------------------------------------------------------- /Leibniz2/LzENode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzENode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEqualSignAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEqualSignAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEqualityAxiom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEqualityAxiom.class.st -------------------------------------------------------------------------------- /Leibniz2/LzEqualityAxiomDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzEqualityAxiomDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzExampleContexts.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzExampleContexts.class.st -------------------------------------------------------------------------------- /Leibniz2/LzExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzExecutionState.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzExecutionState.class.st -------------------------------------------------------------------------------- /Leibniz2/LzFPLiteralDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzFPLiteralDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzFloatingPointNumberTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzFloatingPointNumberTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzFpNumberLiteralTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzFpNumberLiteralTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzFunctionRule.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzFunctionRule.class.st -------------------------------------------------------------------------------- /Leibniz2/LzFunctionRuleDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzFunctionRuleDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzGlobalCache.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzGlobalCache.class.st -------------------------------------------------------------------------------- /Leibniz2/LzGrammarIdentifiersAndLiterals.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzGrammarIdentifiersAndLiterals.class.st -------------------------------------------------------------------------------- /Leibniz2/LzGrammarRulesAndAxioms.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzGrammarRulesAndAxioms.class.st -------------------------------------------------------------------------------- /Leibniz2/LzGrammarSignaturesAndTerms.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzGrammarSignaturesAndTerms.class.st -------------------------------------------------------------------------------- /Leibniz2/LzGrammarTokens.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzGrammarTokens.class.st -------------------------------------------------------------------------------- /Leibniz2/LzGraphicsElements.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzGraphicsElements.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHomeSection.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHomeSection.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtlmTextSnippetRuleWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtlmTextSnippetRuleWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtlmTextSnippetSortWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtlmTextSnippetSortWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlExporter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlExporter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlPageExporter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlPageExporter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlSyntaxPiece.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlSyntaxPiece.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetAnnotationWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetAnnotationWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetAssetWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetAssetWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetEqualityAxiomWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetEqualityAxiomWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetOpWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetOpWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetSpecialTermsWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetSpecialTermsWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetSubsortWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetSubsortWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetTermWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetTermWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzHtmlTextSnippetUseContextWriter.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzHtmlTextSnippetUseContextWriter.class.st -------------------------------------------------------------------------------- /Leibniz2/LzIdentifierAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzIdentifierAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzInfixOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzInfixOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzInfixOpNameAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzInfixOpNameAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzInfixOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzInfixOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzInfixOpTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzInfixOpTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzIntegerLiteralDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzIntegerLiteralDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzIntegerLiteralTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzIntegerLiteralTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzIntegerTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzIntegerTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzKind.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzKind.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLanguageTagAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLanguageTagAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLeafENode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLeafENode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLeafErrorAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLeafErrorAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLepiterExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLepiterExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLinePlot.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLinePlot.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLiteralAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLiteralAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLiteralDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLiteralDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzLiteralTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzLiteralTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzMatchingRules.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzMatchingRules.class.st -------------------------------------------------------------------------------- /Leibniz2/LzNonLeafENode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzNonLeafENode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpArgNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpArgNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpENode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpENode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpSortFamily.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpSortFamily.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOpTermDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOpTermDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOperator.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOperator.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOperators.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOperators.class.st -------------------------------------------------------------------------------- /Leibniz2/LzOptionNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzOptionNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPageContextCache.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPageContextCache.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPageContextChanged.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPageContextChanged.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPageDeclarationCache.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPageDeclarationCache.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPageDeclarationsChanged.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPageDeclarationsChanged.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPageReferenceNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPageReferenceNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParenthesesAnnotation.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParenthesesAnnotation.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParenthesisAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParenthesisAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParenthesizedTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParenthesizedTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParseTreeNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParseTreeNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParseTreeNodeVisitor.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParseTreeNodeVisitor.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParser.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParser.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParser2.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParser2.class.st -------------------------------------------------------------------------------- /Leibniz2/LzParserExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzParserExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPatternDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPatternDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPatternMatcher.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPatternMatcher.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPatternNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPatternNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPharoCodeAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPharoCodeAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPhlowColumnedTreeView.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPhlowColumnedTreeView.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPhlowTreeView.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPhlowTreeView.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPlotTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPlotTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPrefixOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPrefixOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPrefixOpNameAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPrefixOpNameAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPrefixOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPrefixOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPrefixOpTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPrefixOpTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzProgramTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzProgramTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzProgramTermDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzProgramTermDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzProgramTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzProgramTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzPythonCode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzPythonCode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRandom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRandom.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRandomExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRandomExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRandomTerms.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRandomTerms.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRationalLiteralDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRationalLiteralDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRationalNumberLiteralTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRationalNumberLiteralTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRationalNumberTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRationalNumberTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteArrowAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteArrowAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteCache.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteCache.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteFailure.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteFailure.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteRule.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteRule.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteRuleDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteRuleDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteSystem.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteSystem.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRewriteSystemBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRewriteSystemBuilder.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRule.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRule.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRuleDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRuleDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRuleMatcher.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRuleMatcher.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRuleOrderAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRuleOrderAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzRulePrefixNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzRulePrefixNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzScanner.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzScanner.class.st -------------------------------------------------------------------------------- /Leibniz2/LzScopedProgramTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzScopedProgramTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzScopedVarName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzScopedVarName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzShadowedBindings.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzShadowedBindings.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSignature.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSignature.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSignatureBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSignatureBuilder.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSimpleOpArgNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSimpleOpArgNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSnippetTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSnippetTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSort.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSort.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortExamples.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortExamples.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortFamily.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortFamily.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortFlagNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortFlagNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortGraph.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortGraph.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortGraphBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortGraphBuilder.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortHierarchyRoot.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortHierarchyRoot.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortHierarchyRootGraph.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortHierarchyRootGraph.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortPair.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortPair.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSortPatternMatcher.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSortPatternMatcher.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSpecialTermAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSpecialTermAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSpecialTermsDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSpecialTermsDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStateDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStateDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStepNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStepNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStepTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStepTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStreamContents.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStreamContents.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStreamContentsMoreItemsEvent.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStreamContentsMoreItemsEvent.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStringLiteralDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStringLiteralDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStringLiteralTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStringLiteralTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzStringTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzStringTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubcontextNameAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubcontextNameAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubscriptAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubscriptAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubscriptOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubscriptOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubscriptOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubscriptOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubscriptOpTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubscriptOpTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubsortAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubsortAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubsortAxiom.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubsortAxiom.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubsortAxiomDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubsortAxiomDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSubsortRelation.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSubsortRelation.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSuperscriptAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSuperscriptAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSuperscriptOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSuperscriptOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSuperscriptOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSuperscriptOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSuperscriptOpTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSuperscriptOpTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSyntaxAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSyntaxAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSyntaxLabel.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSyntaxLabel.class.st -------------------------------------------------------------------------------- /Leibniz2/LzSyntaxLabelSegment.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzSyntaxLabelSegment.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTaggedVarName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTaggedVarName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTermDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTermDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTermInContext.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTermInContext.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTermInContextWithEGraph.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTermInContextWithEGraph.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTermStreamContents.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTermStreamContents.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTermsWithSharedVars.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTermsWithSharedVars.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTextRenderer.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTextRenderer.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelAnnotation.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelAnnotation.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelAssetNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelAssetNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelEqualityAxiomNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelEqualityAxiomNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelFunctionRuleNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelFunctionRuleNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelRewriteRuleNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelRewriteRuleNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelRuleNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelRuleNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelSortNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelSortNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelSpecialTermsNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelSpecialTermsNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelStateNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelStateNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelSubsortNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelSubsortNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTopLevelUseContextNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTopLevelUseContextNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTupleOpName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTupleOpName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTupleOpNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTupleOpNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzTupleTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzTupleTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzUniversalSortFamily.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzUniversalSortFamily.class.st -------------------------------------------------------------------------------- /Leibniz2/LzUseContextDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzUseContextDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzUseContextLink.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzUseContextLink.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarDeclarationAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarDeclarationAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarDeclarationBuilder.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarDeclarationBuilder.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarName.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarName.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarNameAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarNameAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarNameScopeAttribute.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarNameScopeAttribute.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarTerm.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarTerm.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarTermDeclaration.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarTermDeclaration.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarTermNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarTermNode.class.st -------------------------------------------------------------------------------- /Leibniz2/LzVarTermWithSortNode.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/LzVarTermWithSortNode.class.st -------------------------------------------------------------------------------- /Leibniz2/Number.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/Number.extension.st -------------------------------------------------------------------------------- /Leibniz2/Object.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/Object.extension.st -------------------------------------------------------------------------------- /Leibniz2/SequenceableCollection.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/SequenceableCollection.extension.st -------------------------------------------------------------------------------- /Leibniz2/TLeAnnotationParseNodeVisitor.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/TLeAnnotationParseNodeVisitor.extension.st -------------------------------------------------------------------------------- /Leibniz2/TLzEquality.trait.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/TLzEquality.trait.st -------------------------------------------------------------------------------- /Leibniz2/TLzParseTreeNodeVisitor.trait.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/TLzParseTreeNodeVisitor.trait.st -------------------------------------------------------------------------------- /Leibniz2/TLzPrintable.trait.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/Leibniz2/TLzPrintable.trait.st -------------------------------------------------------------------------------- /Leibniz2/package.st: -------------------------------------------------------------------------------- 1 | Package { #name : #Leibniz2 } 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/README.md -------------------------------------------------------------------------------- /RecurrenceEquations/Array2D.extension.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/RecurrenceEquations/Array2D.extension.st -------------------------------------------------------------------------------- /RecurrenceEquations/RESequence.class.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/RecurrenceEquations/RESequence.class.st -------------------------------------------------------------------------------- /RecurrenceEquations/package.st: -------------------------------------------------------------------------------- 1 | Package { #name : #RecurrenceEquations } 2 | -------------------------------------------------------------------------------- /codemeta.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/codemeta.json -------------------------------------------------------------------------------- /documentation/15an0sxslnisd3s7e7hg0mni2.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/15an0sxslnisd3s7e7hg0mni2.lepiter -------------------------------------------------------------------------------- /documentation/1qb2k76mp1iuc1ipveqzwkpxb.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/1qb2k76mp1iuc1ipveqzwkpxb.lepiter -------------------------------------------------------------------------------- /documentation/1qe04zoah85cojlech7w4bs43.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/1qe04zoah85cojlech7w4bs43.lepiter -------------------------------------------------------------------------------- /documentation/1qe04zpa015wigdwwv2a4sraq.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/1qe04zpa015wigdwwv2a4sraq.lepiter -------------------------------------------------------------------------------- /documentation/1qe04zsshzg9n8c5jgg3blybe.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/1qe04zsshzg9n8c5jgg3blybe.lepiter -------------------------------------------------------------------------------- /documentation/21abculpoq2ulcr32c99tmrze.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/21abculpoq2ulcr32c99tmrze.lepiter -------------------------------------------------------------------------------- /documentation/23r6v6rde97xi1rh09h7ktwjj.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/23r6v6rde97xi1rh09h7ktwjj.lepiter -------------------------------------------------------------------------------- /documentation/27k6m51c8gca1rcd0zhxrcbh3.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/27k6m51c8gca1rcd0zhxrcbh3.lepiter -------------------------------------------------------------------------------- /documentation/2r7m9a4njxu21tjb61eu0uk14.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/2r7m9a4njxu21tjb61eu0uk14.lepiter -------------------------------------------------------------------------------- /documentation/3epnh4oic6yehumiqky7u8m3r.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/3epnh4oic6yehumiqky7u8m3r.lepiter -------------------------------------------------------------------------------- /documentation/3l27xbfxzqpgw8jfoswnvtr5f.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/3l27xbfxzqpgw8jfoswnvtr5f.lepiter -------------------------------------------------------------------------------- /documentation/3wgydbg80dfwrn8ltp8tnzmwq.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/3wgydbg80dfwrn8ltp8tnzmwq.lepiter -------------------------------------------------------------------------------- /documentation/3z4n36983emhllnn3dizcvoxz.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/3z4n36983emhllnn3dizcvoxz.lepiter -------------------------------------------------------------------------------- /documentation/3z4n36cq3wxyff1qwz0gd4t97.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/3z4n36cq3wxyff1qwz0gd4t97.lepiter -------------------------------------------------------------------------------- /documentation/45a53kdvxcznhytyuniwltciu.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/45a53kdvxcznhytyuniwltciu.lepiter -------------------------------------------------------------------------------- /documentation/48ihsnndxciajfvsleumzirk.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/48ihsnndxciajfvsleumzirk.lepiter -------------------------------------------------------------------------------- /documentation/4blardv7a65en1up3auvdj7yq.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/4blardv7a65en1up3auvdj7yq.lepiter -------------------------------------------------------------------------------- /documentation/4db7150gmkgw4t6xh6kzrkj8m.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/4db7150gmkgw4t6xh6kzrkj8m.lepiter -------------------------------------------------------------------------------- /documentation/4db7152chk5vpizwrmxkpvsqh.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/4db7152chk5vpizwrmxkpvsqh.lepiter -------------------------------------------------------------------------------- /documentation/4db71554d417bap7drx5inkjy.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/4db71554d417bap7drx5inkjy.lepiter -------------------------------------------------------------------------------- /documentation/4q8viqkvamexvmtrp6sefita2.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/4q8viqkvamexvmtrp6sefita2.lepiter -------------------------------------------------------------------------------- /documentation/6h5h7fu4a4vix5gl5p57s0s16.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/6h5h7fu4a4vix5gl5p57s0s16.lepiter -------------------------------------------------------------------------------- /documentation/6jeofw4wusaen3scns3ubesn0.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/6jeofw4wusaen3scns3ubesn0.lepiter -------------------------------------------------------------------------------- /documentation/6l9qky4e9akrlizxa7kx22up4.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/6l9qky4e9akrlizxa7kx22up4.lepiter -------------------------------------------------------------------------------- /documentation/6nz1ale1cugh1ekzq3gph602f.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/6nz1ale1cugh1ekzq3gph602f.lepiter -------------------------------------------------------------------------------- /documentation/748hz1dcrnn7zrb9ld8qymj97.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/748hz1dcrnn7zrb9ld8qymj97.lepiter -------------------------------------------------------------------------------- /documentation/7ju60g50ncgv3bduboznmga0t.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/7ju60g50ncgv3bduboznmga0t.lepiter -------------------------------------------------------------------------------- /documentation/7oieyq9lxucgltg56c8e2g21q.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/7oieyq9lxucgltg56c8e2g21q.lepiter -------------------------------------------------------------------------------- /documentation/7oieyqdcc71i3x5yhecy8b13t.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/7oieyqdcc71i3x5yhecy8b13t.lepiter -------------------------------------------------------------------------------- /documentation/7yr8o6o4z70ejfv9eqs3s615e.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/7yr8o6o4z70ejfv9eqs3s615e.lepiter -------------------------------------------------------------------------------- /documentation/8qetpkmaitk2mnkysyi8dl02f.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/8qetpkmaitk2mnkysyi8dl02f.lepiter -------------------------------------------------------------------------------- /documentation/97325lutjbpdbrrq1ge9iixut.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/97325lutjbpdbrrq1ge9iixut.lepiter -------------------------------------------------------------------------------- /documentation/97325lvfc5upb0cn6mtyug272.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/97325lvfc5upb0cn6mtyug272.lepiter -------------------------------------------------------------------------------- /documentation/9m4wnbxyvmx81463ym19jbvr2.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/9m4wnbxyvmx81463ym19jbvr2.lepiter -------------------------------------------------------------------------------- /documentation/9m4wnc0ywzqz8alpx4h9f1omc.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/9m4wnc0ywzqz8alpx4h9f1omc.lepiter -------------------------------------------------------------------------------- /documentation/9s3ooust2uhfkrkm68oid11ii.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/9s3ooust2uhfkrkm68oid11ii.lepiter -------------------------------------------------------------------------------- /documentation/a76m7k7lvew1fnzvw78pqeaxz.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/a76m7k7lvew1fnzvw78pqeaxz.lepiter -------------------------------------------------------------------------------- /documentation/ambazq0tycucl8oymwtqvu9n2.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/ambazq0tycucl8oymwtqvu9n2.lepiter -------------------------------------------------------------------------------- /documentation/bemmw9pjpy566mvtehal7mj69.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/bemmw9pjpy566mvtehal7mj69.lepiter -------------------------------------------------------------------------------- /documentation/bpwm845q7mafqno9r2h34n1ms.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/bpwm845q7mafqno9r2h34n1ms.lepiter -------------------------------------------------------------------------------- /documentation/crsva4vsu07o298777iz1ngm5.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/crsva4vsu07o298777iz1ngm5.lepiter -------------------------------------------------------------------------------- /documentation/d1rxbaos7e30x3kiauexipyv7.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/d1rxbaos7e30x3kiauexipyv7.lepiter -------------------------------------------------------------------------------- /documentation/d4vdbw331d1r1n5l0hjqxuz08.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/d4vdbw331d1r1n5l0hjqxuz08.lepiter -------------------------------------------------------------------------------- /documentation/d988tmksre7zbpnhkkbjq06iv.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/d988tmksre7zbpnhkkbjq06iv.lepiter -------------------------------------------------------------------------------- /documentation/dqrb64mlcyfa99z20147hccm0.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/dqrb64mlcyfa99z20147hccm0.lepiter -------------------------------------------------------------------------------- /documentation/dsdijxuuq5ibgwdfzxayd47a9.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/dsdijxuuq5ibgwdfzxayd47a9.lepiter -------------------------------------------------------------------------------- /documentation/dtgkzzo47exs7djhvpv16xv66.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/dtgkzzo47exs7djhvpv16xv66.lepiter -------------------------------------------------------------------------------- /documentation/dtgkzzsgdamz46njti3u7r1no.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/dtgkzzsgdamz46njti3u7r1no.lepiter -------------------------------------------------------------------------------- /documentation/duo76pot31v3zx8ali30phabc.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/duo76pot31v3zx8ali30phabc.lepiter -------------------------------------------------------------------------------- /documentation/dx4uzcfvx710f79ajkkgjq1dj.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/dx4uzcfvx710f79ajkkgjq1dj.lepiter -------------------------------------------------------------------------------- /documentation/e0icd9zipxftiqskyfinyvp7y.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/e0icd9zipxftiqskyfinyvp7y.lepiter -------------------------------------------------------------------------------- /documentation/e66wrick5ute5pt5whuznknj4.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/e66wrick5ute5pt5whuznknj4.lepiter -------------------------------------------------------------------------------- /documentation/e66wrid53zjw7555u8weezpmd.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/e66wrid53zjw7555u8weezpmd.lepiter -------------------------------------------------------------------------------- /documentation/e66wrid5v46ftyy9f1gvnq6c1.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/e66wrid5v46ftyy9f1gvnq6c1.lepiter -------------------------------------------------------------------------------- /documentation/edphzvdu0zufpwzxzzr0vwmlq.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/edphzvdu0zufpwzxzzr0vwmlq.lepiter -------------------------------------------------------------------------------- /documentation/edphzvfg80qxuspu2uzefzf0v.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/edphzvfg80qxuspu2uzefzf0v.lepiter -------------------------------------------------------------------------------- /documentation/ee61j9bq1t5zrsionvov8p4ah.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/ee61j9bq1t5zrsionvov8p4ah.lepiter -------------------------------------------------------------------------------- /documentation/eeuhoubq1enqrc33ndtqotx3h.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/eeuhoubq1enqrc33ndtqotx3h.lepiter -------------------------------------------------------------------------------- /documentation/eeuhouc9pkdw24apyl6iuotbl.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/eeuhouc9pkdw24apyl6iuotbl.lepiter -------------------------------------------------------------------------------- /documentation/eeuhoudt2yfyq3sy70p5fo4xt.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/eeuhoudt2yfyq3sy70p5fo4xt.lepiter -------------------------------------------------------------------------------- /documentation/eeuhouh5jexm20g0zr49d8otj.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/eeuhouh5jexm20g0zr49d8otj.lepiter -------------------------------------------------------------------------------- /documentation/ep7y4q7576rbwsef8se1qp89x.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/ep7y4q7576rbwsef8se1qp89x.lepiter -------------------------------------------------------------------------------- /documentation/ep7y4qa8ypkj7mgff0xntrxi4.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/ep7y4qa8ypkj7mgff0xntrxi4.lepiter -------------------------------------------------------------------------------- /documentation/evq4rfzogttoyq7rk0lafa662.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/evq4rfzogttoyq7rk0lafa662.lepiter -------------------------------------------------------------------------------- /documentation/lepiter.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/lepiter.properties -------------------------------------------------------------------------------- /documentation/lru75vl1pjomrldom3anobkn.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/lru75vl1pjomrldom3anobkn.lepiter -------------------------------------------------------------------------------- /documentation/lru75zh6m921ytp6lrqfurd5.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/lru75zh6m921ytp6lrqfurd5.lepiter -------------------------------------------------------------------------------- /documentation/mkxlhwmz21nz482hklx091hf.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/mkxlhwmz21nz482hklx091hf.lepiter -------------------------------------------------------------------------------- /documentation/msy4vumofomuwnp3uexdt634.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/msy4vumofomuwnp3uexdt634.lepiter -------------------------------------------------------------------------------- /documentation/msy4vyizwljhe1awv1pqxz1a.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/msy4vyizwljhe1awv1pqxz1a.lepiter -------------------------------------------------------------------------------- /documentation/nbuihxv6ryjx7wb5kg9gavzl.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/nbuihxv6ryjx7wb5kg9gavzl.lepiter -------------------------------------------------------------------------------- /documentation/q2ov0b2xscjtwg4jf3mzgx1b.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/q2ov0b2xscjtwg4jf3mzgx1b.lepiter -------------------------------------------------------------------------------- /documentation/wyqumk8osgn8uzsbbel04wvs.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/wyqumk8osgn8uzsbbel04wvs.lepiter -------------------------------------------------------------------------------- /documentation/zexnrro622xyay877kcqdigu.lepiter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/documentation/zexnrro622xyay877kcqdigu.lepiter -------------------------------------------------------------------------------- /html/assets/css/leibniz.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/assets/css/leibniz.css -------------------------------------------------------------------------------- /html/assets/fonts/JuliaMono-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/assets/fonts/JuliaMono-Bold.woff2 -------------------------------------------------------------------------------- /html/assets/fonts/JuliaMono-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/assets/fonts/JuliaMono-BoldItalic.woff2 -------------------------------------------------------------------------------- /html/assets/fonts/JuliaMono-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/assets/fonts/JuliaMono-Regular.woff2 -------------------------------------------------------------------------------- /html/assets/fonts/JuliaMono-RegularItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/assets/fonts/JuliaMono-RegularItalic.woff2 -------------------------------------------------------------------------------- /html/page-template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/page-template.html -------------------------------------------------------------------------------- /html/single-page-template.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/html/single-page-template.html -------------------------------------------------------------------------------- /leibniz-installation-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/leibniz-installation-1.png -------------------------------------------------------------------------------- /leibniz-installation-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/leibniz-installation-2.png -------------------------------------------------------------------------------- /leibniz-installation-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/leibniz-installation-3.png -------------------------------------------------------------------------------- /leibniz-installation-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/leibniz-installation-4.png -------------------------------------------------------------------------------- /screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/khinsen/leibniz-pharo/HEAD/screenshot.png --------------------------------------------------------------------------------