polytexnic 1.10.1 → 1.10.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: '08ef6b16e688ae517db09f1ccd14da9a9861fc14d0b7576267f2704ee28e2223'
-  data.tar.gz: 1d19e497423591bf533a01c7870e93fbff311639a35584c2fce4b2eb5fc70ce2
+  metadata.gz: da8b7f3f92a5c8273442057b775fe5fb9254b8cea720e116d412fb69a88d2cab
+  data.tar.gz: a4a31b444ae75f2b556a3d306f965c386c2e5aa04c08e57d46d5225e3e311e9e
 SHA512:
-  metadata.gz: 6fb7f765d2eb5ef17df271b165aa628def5742333e672dd8fa599321e9e550a07af902e914768a2c90123a41ddec53a529677ee84c932d919ce7ce5c99400f50
-  data.tar.gz: d69d4ccc81b47e6098462888862813f9a1164232a09b16c473d2f7821fa3a4c24f6f1a540d03147689630c7daf5ac42ff653e6d3ee1ccdea96c6cd2fb689ea68
+  metadata.gz: 7296046560b0eee4a54c02c2f2c06a797dbe244a6a5a2b93ed1997529e88ad605c6589c645427ca22de026e356f6d128737a4478447cdefe3c16634ded71e0a7
+  data.tar.gz: 3ca36eebc4379605f6fb3579dd8d6c0c10a4d5f37a65610ae3541b3d565f700c63c56e3f758ae8ef68fadcd1f1b35d2c1168c27bf6984b7ce55d87e6ad78a5e2

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    polytexnic (1.10.1)
+    polytexnic (1.10.3)
       json (= 2.3.1)
       kramdown (= 2.4.0)
       msgpack (= 1.2.10)

data/lib/polytexnic/postprocessors/html.rb

@@ -891,6 +891,18 @@ module Polytexnic
           doc.xpath('//proof').each do |node|
             node.name = 'div'
             node['class'] = 'proof'
+            proofoption = node.css('proofoption')
+            if proofoption.empty?
+              proof_label = 'Proof.'
+            else
+              proof_label = proofoption.first.content.strip
+            end
+            proofoption.remove
+            node.remove_attribute('proofoption')
+            first_paragraph = node.children.first
+            html = first_paragraph.inner_html
+            html = %(<em class="proof_label">#{proof_label}</em> ) + html
+            first_paragraph.inner_html = html
           end
         end
 

data/lib/polytexnic/postprocessors/latex.rb

@@ -18,9 +18,8 @@ module Polytexnic
       # Escapes backslashes even more.
       # Have I mentioned how much I hate backslashes?
       def extra_escape(string)
-        string.gsub('\\', '\\\\\\').
-               gsub("\\'", '\\\\' + "'").
-               gsub('\\\\\\', '\\\\\\')
+        string.gsub("\\'", '\\\\\\\\' + "'")
+        # raise string.inspect
       end
     end
   end

data/lib/polytexnic/preprocessors/html.rb

@@ -318,14 +318,22 @@ module Polytexnic
           end
 
           # Wrap proofs in a 'proof' element.
+          # Start with proofs that have options.
+          string.gsub! /(\\begin{proof})\[(.*?)\]/ do
+            "\\begin{xmlelement*}{proof}" +
+            "\\begin{xmlelement*}{proofoption}#{$2}" +
+            "\\end{xmlelement*}"
+          end
+          # string.gsub!(/\\begin{proof}\[.*?\]/, '')
+          # Now do optionless proofs.
           string.gsub! /\\begin{proof}/ do |s|
-            "\\begin{xmlelement*}{proof}\n#{s}"
+            "\\begin{xmlelement*}{proof}"
           end
           string.gsub! /\\end{proof}/ do |s|
             "#{s}\n\\end{xmlelement*}"
           end
-          string.gsub!(/\\begin{proof}/, '')
-          string.gsub!(/\\end{proof}/, '')
+          # string.gsub!(/\\begin{proof}/, '')
+          # string.gsub!(/\\end{proof}/, '')
 
           # Wrap asides in an 'aside' element.
           string.gsub! /\\begin{aside}/ do |s|

data/lib/polytexnic/version.rb

@@ -1,3 +1,3 @@
 module Polytexnic
-  VERSION = "1.10.1"
+  VERSION = "1.10.3"
 end

data/spec/to_html/proof_theorem_spec.rb

@@ -16,7 +16,19 @@ describe 'Polytexnic::Pipeline#to_html' do
       EOS
     end
     it { should include("Lorem ipsum.") }
-    it { should include('<div class="proof">')}
+    it { should include('<div class="proof"><p><em class="proof_label">Proof.</em> Lorem')}
+
+    context "with optional argument" do
+      let(:polytex) do <<-'EOS'
+        \chapter{Foo bar}
+
+        \begin{proof}[Simpler proof.]
+        Dolor sit amet.
+        \end{proof}
+        EOS
+      end
+      it { should include('<div class="proof"><p><em class="proof_label">Simpler proof.</em> Dolor') }
+    end
   end
 
   describe "chapter theorems" do

data/spec/to_latex_spec.rb

@@ -106,7 +106,7 @@ end
       context "align* environment" do
         let(:polytex) do <<-'EOS'
           \begin{align*}
-          x &= 1\\
+          \lnot \forall x \in A\ P(x) \\
           y & = 2 \\
           x + y &= 3
           \end{align*}

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: polytexnic
 version: !ruby/object:Gem::Version
-  version: 1.10.1
+  version: 1.10.3
 platform: ruby
 authors:
 - Michael Hartl
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-09-06 00:00:00.000000000 Z
+date: 2023-10-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: nokogiri
@@ -207,6 +207,7 @@ files:
 - ".pull_requests/1389652617"
 - ".pull_requests/1395697424"
 - ".pull_requests/1403381407"
+- ".quiet"
 - ".rspec"
 - Gemfile
 - Gemfile.lock