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 17, 2023
1 parent e419161 commit 1f56c91
Show file tree
Hide file tree
Showing 44 changed files with 1,471 additions and 154 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/workshop-info.ptx": ["pre-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-pi-base.ptx": ["ch-pi-base"], "source/ch-coding.ptx": ["ch-coding"], "source/ch-oer.ptx": ["ch-oer", "geogebra"], "source/ch-lean.ptx": ["ch-lean"], "source/ch-collaboration.ptx": ["ch-collaboration"]}
{"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-pi-base.ptx": ["ch-pi-base"], "source/ch-coding.ptx": ["ch-coding"], "source/ch-oer.ptx": ["ch-oer", "geogebra"], "source/ch-lean.ptx": ["ch-lean"], "source/ch-collaboration.ptx": ["ch-collaboration"], "source/related.ptx": ["related"]}
45 changes: 33 additions & 12 deletions pre-workshop-info.html → acknowledgements.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
<html lang="en-US" dir="ltr">
<head xmlns:og="http://ogp.me/ns#" xmlns:book="https://ogp.me/ns/book#">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>JMM 2024 Details</title>
<title>Acknowledgements</title>
<meta name="Keywords" content="Authored in PreTeXt">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta property="og:type" content="book">
Expand Down Expand Up @@ -140,7 +140,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="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}
<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}
\newcommand{\lt}{&lt;}
\newcommand{\gt}{&gt;}
\newcommand{\amp}{&amp;}
Expand All @@ -151,7 +151,8 @@ <h2 class="search-results-heading">Search Results: </h2>
<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-preface active"><div class="toc-title-box"><a href="pre-workshop-info.html" class="internal"><span class="title">JMM 2024 Details</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>
<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 All @@ -175,7 +176,15 @@ <h2 class="search-results-heading">Search Results: </h2>
<ul class="structural toc-item-list">
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-github-pages.html#sec-upload-html" class="internal"><span class="codenumber">3.1</span> <span class="title">Using GitHub Pages</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-github-pages.html#sec-using-a-template" class="internal"><span class="codenumber">3.2</span> <span class="title">Using a Template</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-github-pages.html#sec-posts-and-pages" class="internal"><span class="codenumber">3.3</span> <span class="title">Posts and pages</span></a></div></li>
<li class="toc-item toc-section">
<div class="toc-title-box"><a href="ch-github-pages.html#sec-posts-and-pages" class="internal"><span class="codenumber">3.3</span> <span class="title">Customizing your site</span></a></div>
<ul class="structural toc-item-list">
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="ch-github-pages.html#subsec-posts-and-pages-config" class="internal"><span class="codenumber">3.3.1</span> <span class="title">Configuration</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="ch-github-pages.html#subsec-photo" class="internal"><span class="codenumber">3.3.2</span> <span class="title">Photo</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="ch-github-pages.html#subsec-pages" class="internal"><span class="codenumber">3.3.3</span> <span class="title">Pages</span></a></div></li>
<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="ch-github-pages.html#subsec-posts" class="internal"><span class="codenumber">3.3.4</span> <span class="title">Posts</span></a></div></li>
</ul>
</li>
</ul>
</li>
<li class="toc-item toc-chapter"><div class="toc-title-box"><a href="ch-pi-base.html" class="internal"><span class="codenumber">4</span> <span class="title"><span class="process-math">\(\pi\)</span>-Base Database for Topology</span></a></div></li>
Expand All @@ -185,6 +194,7 @@ <h2 class="search-results-heading">Search Results: </h2>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-coding.html#sec-codespaces" class="internal"><span class="codenumber">5.1</span> <span class="title">Codespaces</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-coding.html#sec-jupyter-notebooks" class="internal"><span class="codenumber">5.2</span> <span class="title">Jupyter notebooks</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-coding.html#sec-sagemath" class="internal"><span class="codenumber">5.3</span> <span class="title">SageMath</span></a></div></li>
<li class="toc-item toc-section"><div class="toc-title-box"><a href="ch-coding.html#sec-github-pages-codespace" class="internal"><span class="codenumber">5.4</span> <span class="title">GitHub Pages Codespace</span></a></div></li>
</ul>
</li>
<li class="toc-item toc-chapter">
Expand All @@ -193,23 +203,34 @@ <h2 class="search-results-heading">Search Results: </h2>
</li>
<li class="toc-item toc-chapter"><div class="toc-title-box"><a href="ch-lean.html" class="internal"><span class="codenumber">7</span> <span class="title">Lean theorem prover</span></a></div></li>
<li class="toc-item toc-chapter">
<div class="toc-title-box"><a href="ch-collaboration.html" class="internal"><span class="codenumber">8</span> <span class="title">Collaborating with Students and Colleagues</span></a></div>
<div class="toc-title-box"><a href="ch-collaboration.html" class="internal"><span class="codenumber">8</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-collaboration.html#sec-liveshare" class="internal"><span class="codenumber">8.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">8.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">8.3</span> <span class="title">Forks and Pull Requests</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></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>
</ul>
</li>
</ul></nav></div>
<main class="ptx-main"><div id="ptx-content" class="ptx-content"><section class="preface" id="pre-workshop-info"><h2 class="heading hide-type">
<span class="type">Preface</span><span class="space"> </span><span class="codenumber"></span><span class="space"> </span><span class="title">JMM 2024 Details</span>
<main class="ptx-main"><div id="ptx-content" class="ptx-content"><section class="preface" id="acknowledgements"><h2 class="heading hide-type">
<span class="type">Preface</span><span class="space"> </span><span class="codenumber"></span><span class="space"> </span><span class="title">Acknowledgements</span>
</h2>
<div class="para" id="pre-workshop-info-2">This workshop will take place on Wednesday January 3, 2024, 1:00 p.m.-3:00 p.m, and Thursday January 4, 2024, 1:00 p.m.-3:00 p.m.</div>
<div class="para" id="pre-workshop-info-3">We will be located at Foothill E, Marriott Marquis San Francisco.</div>
<div class="para" id="pre-workshop-info-4">More information about JMM 2024 in San Francisco can be found at <a class="external" href="https://www.jointmathematicsmeetings.org/meetings/national/jmm2024/2300_program.html" target="_blank">JointMathematicsMeetings.org</a><a class="xref" id="pre-workshop-info-4-2" href="" data-knowl="./knowl/fn/pre-workshop-info-4-2.html" title="Footnote 0.0.3"><sup> 3 </sup></a>.</div></section></div>
<div class="para logical" id="acknowledgements-2">
<div class="para">Thanks to the following people who’ve contributed to this handbook.</div>
<ul class="disc">
<li id="acknowledgements-2-1-1"><div class="para" id="acknowledgements-2-1-1-1">The <a class="external" href="https://aimath.org" target="_blank">American Institute of Mathematics</a><a class="xref" id="acknowledgements-2-1-1-1-2" href="" data-knowl="./knowl/fn/acknowledgements-2-1-1-1-2.html" title="Footnote 0.0.3"><sup> 3 </sup></a>, for funding my travel to JMM 2024 to run a professional enhancement program based upon this handbook.</div></li>
<li id="acknowledgements-2-1-2"><div class="para" id="acknowledgements-2-1-2-1">Jeremy Avigad, for adding Codespaces support to his book <span class="booktitle">Mathematics in Lean</span> in time for JMM 2024.</div></li>
<li id="acknowledgements-2-1-3"><div class="para" id="acknowledgements-2-1-3-1">Francesca Gandini, for co-organizing the JMM 2024 professional enrichment program that this book was written for originally.</div></li>
</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="ch-git-github.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="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>
</div></main>
</div>
<div id="ptx-page-footer" class="ptx-page-footer">
Expand Down
Loading

0 comments on commit 1f56c91

Please sign in to comment.