Skip to content

Commit

Permalink
Latest build deployed.
Browse files Browse the repository at this point in the history
  • Loading branch information
@StevenClontz
StevenClontz committed Dec 30, 2023
1 parent 878ee85 commit 4b64224
Show file tree
Hide file tree
Showing 75 changed files with 3,185 additions and 305 deletions.
2 changes: 1 addition & 1 deletion .mapping.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"source/main.ptx": ["g4m", "pre-abstract", "backmatter"], "source/frontmatter.ptx": ["frontmatter"], "source/colophon.ptx": ["colophon"], "source/acknowledgements.ptx": ["acknowledgements"], "source/workshop-info.ptx": ["workshop-info"], "source/ch-git-github.ptx": ["ch-git-github"], "source/ch-first-repo.ptx": ["ch-first-repo"], "source/ch-website.ptx": ["ch-github-pages"], "source/ch-coding.ptx": ["ch-coding"], "source/ch-projects.ptx": ["ch-projects"], "source/ch-collaboration.ptx": ["ch-collaboration"], "source/related.ptx": ["related"]}
{"source/main.ptx": ["g4m", "backmatter", "ax-defs-notes"], "source/frontmatter.ptx": ["frontmatter", "pr-abstract"], "source/colophon.ptx": ["colophon"], "source/pr-acknowledgements.ptx": ["acknowledgements"], "source/ch-git-github.ptx": ["ch-git-github"], "source/ch-first-repo.ptx": ["ch-first-repo"], "source/ch-website.ptx": ["ch-github-pages"], "source/ch-coding.ptx": ["ch-coding"], "source/ch-collaboration.ptx": ["ch-collaboration"], "source/ch-projects.ptx": ["ch-projects"], "source/ax-related.ptx": ["ax-related"], "source/ax-additional-topics.ptx": ["ax-additional-topics"]}
45 changes: 30 additions & 15 deletions acknowledgements.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,7 @@ <h2 class="search-results-heading">Search Results: </h2>
<ol id="searchresults" class="searchresults"></ol>
</div>
</div>
<span class="nav-other-controls"></span><span class="treebuttons"><a class="previous-button button" href="pre-abstract.html" title="Previous"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cb;</span><span class="name">Prev</span></a><a class="up-button button" href="g4m.html" title="Up"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5ce;</span><span class="name">Up</span></a><a class="next-button button" href="workshop-info.html" title="Next"><span class="name">Next</span><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cc;</span></a></span></nav><div id="latex-macros" class="hidden-content process-math" style="display:none"><span class="process-math">\(\newcommand{\R}{\mathbb R}
<span class="nav-other-controls"></span><span class="treebuttons"><a class="previous-button button" href="colophon.html" title="Previous"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cb;</span><span class="name">Prev</span></a><a class="up-button button" href="frontmatter.html" title="Up"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5ce;</span><span class="name">Up</span></a><a class="next-button button" href="ch-git-github.html" title="Next"><span class="name">Next</span><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cc;</span></a></span></nav><div id="latex-macros" class="hidden-content process-math" style="display:none"><span class="process-math">\(\newcommand{\R}{\mathbb R}
\newcommand{\lt}{&lt;}
\newcommand{\gt}{&gt;}
\newcommand{\amp}{&amp;}
Expand All @@ -118,10 +118,14 @@ <h2 class="search-results-heading">Search Results: </h2>
\)</span></div>
<div class="ptx-page">
<div id="ptx-sidebar" class="ptx-sidebar"><nav id="ptx-toc" class="ptx-toc depth2"><ul class="structural contains-active toc-item-list">
<li class="toc-item toc-frontmatter"><div class="toc-title-box"><a href="frontmatter.html" class="internal"><span class="title">Front Matter</span></a></div></li>
<li class="toc-item toc-preface"><div class="toc-title-box"><a href="pre-abstract.html" class="internal"><span class="title">Abstract</span></a></div></li>
<li class="toc-item toc-frontmatter contains-active">
<div class="toc-title-box"><a href="frontmatter.html" class="internal"><span class="title">Front Matter</span></a></div>
<ul class="structural toc-item-list contains-active">
<li class="toc-item toc-preface"><div class="toc-title-box"><a href="pr-abstract.html" class="internal"><span class="title">Abstract</span></a></div></li>
<li class="toc-item toc-colophon"><div class="toc-title-box"><a href="colophon.html" class="internal"><span class="title">Colophon</span></a></div></li>
<li class="toc-item toc-preface active"><div class="toc-title-box"><a href="acknowledgements.html" class="internal"><span class="title">Acknowledgements</span></a></div></li>
<li class="toc-item toc-preface"><div class="toc-title-box"><a href="workshop-info.html" class="internal"><span class="title">JMM 2024 Details</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-git-github.html" class="internal"><span class="codenumber">1</span> <span class="title">Git vs. GitHub</span></a></div>
<ul class="structural toc-item-list">
Expand Down Expand Up @@ -166,26 +170,37 @@ <h2 class="search-results-heading">Search Results: </h2>
</ul>
</li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-projects.html" class="internal"><span class="codenumber">5</span> <span class="title">Math Powered by GitHub</span></a></div>
<div class="toc-title-box"><a href="ch-collaboration.html" class="internal"><span class="codenumber">5</span> <span class="title">Collaborating with Others</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-pretext" class="internal"><span class="codenumber">5.1</span> <span class="title">PreTeXt</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-pi-base" class="internal"><span class="codenumber">5.2</span> <span class="title"><span class="process-math">\(\pi\)</span>-Base Database for Topology</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-lean" class="internal"><span class="codenumber">5.3</span> <span class="title">Lean theorem prover</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-liveshare" class="internal"><span class="codenumber">5.1</span> <span class="title">Live Share</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-collaborators-prs" class="internal"><span class="codenumber">5.2</span> <span class="title">Collaborators and Pull Requests</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-forks" class="internal"><span class="codenumber">5.3</span> <span class="title">Forks</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-conflicts" class="internal"><span class="codenumber">5.4</span> <span class="title">Handling Merge Conflicts</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-collaboration.html" class="internal"><span class="codenumber">6</span> <span class="title">Collaborating with Others</span></a></div>
<div class="toc-title-box"><a href="ch-projects.html" class="internal"><span class="codenumber">6</span> <span class="title">Math Projects Powered by GitHub</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-liveshare" class="internal"><span class="codenumber">6.1</span> <span class="title">LiveShare</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-adding-collaborators" class="internal"><span class="codenumber">6.2</span> <span class="title">Adding collaborators</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-collaboration.html#sec-forks-and-pull-requests" class="internal"><span class="codenumber">6.3</span> <span class="title">Forks and Pull Requests</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-pretext" class="internal"><span class="codenumber">6.1</span> <span class="title">PreTeXt authoring system</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-pi-base" class="internal"><span class="codenumber">6.2</span> <span class="title"><span class="process-math">\(\pi\)</span>-Base community database of topological counterexamples</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-lean" class="internal"><span class="codenumber">6.3</span> <span class="title">Lean theorem prover</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-projects.html#sec-code4math" class="internal"><span class="codenumber">6.4</span> <span class="title"><code class="code-inline tex2jax_ignore">code4math</code></span></a></div></li>
</ul>
</li>
<li class="toc-item toc-backmatter">
<div class="toc-title-box"><a href="backmatter.html" class="internal"><span class="title">Backmatter</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-appendix"><div class="toc-title-box"><a href="related.html" class="internal"><span class="codenumber">A</span> <span class="title">Additional Reading</span></a></div></li>
<li class="toc-item toc-colophon"><div class="toc-title-box"><a href="backmatter-3.html" class="internal"><span class="title">Colophon</span></a></div></li>
<li class="toc-item toc-appendix"><div class="toc-title-box"><a href="ax-related.html" class="internal"><span class="codenumber">A</span> <span class="title">Additional Reading</span></a></div></li>
<li class="toc-item toc-appendix">
<div class="toc-title-box"><a href="ax-additional-topics.html" class="internal"><span class="codenumber">B</span> <span class="title">Additional Topics</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ax-additional-topics.html#sec-github-desktop" class="internal"><span class="codenumber">B.1</span> <span class="title">GitHub Desktop</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ax-additional-topics.html#sec-vs-code-application" class="internal"><span class="codenumber">B.2</span> <span class="title">VS Code Application</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ax-additional-topics.html#sec-terminal" class="internal"><span class="codenumber">B.3</span> <span class="title">Using the Terminal</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-appendix"><div class="toc-title-box"><a href="ax-defs-notes.html" class="internal"><span class="codenumber">C</span> <span class="title">Definitions and Notes Quick Ref</span></a></div></li>
<li class="toc-item toc-colophon"><div class="toc-title-box"><a href="backmatter-5.html" class="internal"><span class="title">Colophon</span></a></div></li>
</ul>
</li>
</ul></nav></div>
Expand All @@ -201,7 +216,7 @@ <h2 class="search-results-heading">Search Results: </h2>
</ul>
</div></section></div>
<div class="ptx-content-footer">
<a class="previous-button button" href="pre-abstract.html" title="Previous"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cb;</span><span class="name">Prev</span></a><a class="top-button button" href="#" title="Top"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5ce;</span><span class="name">Top</span></a><a class="next-button button" href="workshop-info.html" title="Next"><span class="name">Next</span><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cc;</span></a>
<a class="previous-button button" href="colophon.html" title="Previous"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cb;</span><span class="name">Prev</span></a><a class="top-button button" href="#" title="Top"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5ce;</span><span class="name">Top</span></a><a class="next-button button" href="ch-git-github.html" title="Next"><span class="name">Next</span><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cc;</span></a>
</div></main>
</div>
<div id="ptx-page-footer" class="ptx-page-footer">
Expand Down
Loading

0 comments on commit 4b64224

Please sign in to comment.