Skip to content

Commit

Permalink
Merge branch 'release-v0.5'
Browse files Browse the repository at this point in the history 
* release-v0.5:
  Bump version and update changelog
  Use location information for duplicates, fix unit types
  Unit type and fix for vars with location info
  Fix higlighting Sigmas
  Highlight tope/cube variables as strings, do not highlight regular variables
  Add basic tokenizer support (WIP)
  Fix build for GHCJS
  Split modules for VSCode tokenizer
  Add tokenize command (only language decl for now)
  Run some commands in bash on Windows
  Remove -f for rm commands (fix binaries on Windows)
  Skip using alex, happy, BNFC when building binaries
  Fix binaries workflow
  • Loading branch information
@fizruk
fizruk committed Jun 20, 2023
2 parents a25b8ec + 40974f3 commit fb6eda1
Show file tree
Hide file tree
Showing 32 changed files with 8,446 additions and 6,567 deletions.
2 changes: 1 addition & 1 deletion CITATION.cff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 +4,5 @@ authors:
given-names: Nikolai
orcid: "https://orcid.org/0000-0001-6572-7292"
title: "rzk: a prototype proof assistant for synthetic $\\infty$-categories"
version: 0.1.0.0
version: 0.5
url: "https://github.com/fizruk/rzk"
8 changes: 8 additions & 0 deletions rzk/ChangeLog.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,14 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to the
[Haskell Package Versioning Policy](https://pvp.haskell.org/).

## v0.5 — 2022-06-20

This version contains the following changes:

- `Unit` type (with `unit` value) (see [ede02611]( https://github.com/fizruk/rzk/commit/ede02611 ) and [bf9d6cd9]( https://github.com/fizruk/rzk/commit/bf9d6cd9 );
- Add basic tokenizer support via `rzk tokenize` (see [#53]( https://github.com/fizruk/rzk/pull/53 ));
- Add location information for shadowing warnings and duplicate definition errors (see [bf9d6cd9]( https://github.com/fizruk/rzk/commit/bf9d6cd9 )).

## v0.4.1 — 2022-06-16

This is version contains minor changes, primarily in tools around rzk:
Expand Down
3 changes: 3 additions & 0 deletions rzk/RzkLexer/rzklexer.egg-info/PKG-INFO
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
Metadata-Version: 2.1
Name: rzklexer
Version: 0.0.0
8 changes: 8 additions & 0 deletions rzk/RzkLexer/rzklexer.egg-info/SOURCES.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
README.md
setup.py
rzklexer/__init__.py
rzklexer.egg-info/PKG-INFO
rzklexer.egg-info/SOURCES.txt
rzklexer.egg-info/dependency_links.txt
rzklexer.egg-info/entry_points.txt
rzklexer.egg-info/top_level.txt
1 change: 1 addition & 0 deletions rzk/RzkLexer/rzklexer.egg-info/dependency_links.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@

2 changes: 2 additions & 0 deletions rzk/RzkLexer/rzklexer.egg-info/entry_points.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
[pygments.lexers]
rzklexer = rzklexer:RzkLexer
1 change: 1 addition & 0 deletions rzk/RzkLexer/rzklexer.egg-info/top_level.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
rzklexer
59 changes: 59 additions & 0 deletions rzk/doc/Syntax.fdb_latexmk
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,59 @@
# Fdb version 3
["pdflatex"] 1685334388 "doc/Syntax.tex" "doc/Syntax.pdf" "Syntax" 1685334388
"/usr/local/texlive/2022/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1136849721 2971 def0b6c1f0b107b3b936def894055589 ""
"/usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm" 1136768653 3584 402da0b29eafbad07963b1224b222f18 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm" 1136768653 3584 13049b61b922a28b158a38aeff75ee9b ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1095.tfm" 1136768653 3584 929cdff2b7a8c11bd4d49fd68cb0ae70 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm" 1136768653 3584 f80ddd985bd00e29e9a6047ebd9d4781 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm" 1136768653 3584 3169d30142b88a27d4ab0e3468e963a2 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm" 1136768653 3584 3c76ccb63eda935a68ba65ba9da29f1a ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecsl1095.tfm" 1136768653 3584 91bcd1ec8de84adb306899ddf050f500 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecti1095.tfm" 1136768653 3072 b73d2778cc3af44970de4de5e032d7f6 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ectt1095.tfm" 1136768653 1536 a988bfe554c1f79514bd46d13c3c64ce ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1136768653 1528 abec98dbc43e172678c11b3b9031252a ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1136768653 1524 4414a8315f39513458b80dfc63bff03a ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1136768653 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1136768653 1288 655e228510b4c2a1abe905c368440826 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1136768653 1292 21c1c5bfeaebccffdb478fd231a0997d ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 ""
"/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1248133631 30251 6afa5cb1d0204815a708a080681d4674 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1248133631 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1248133631 35752 024fb6c41858982481f6968b5fc26508 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1248133631 32569 5e5ddc8df908dea60932f3c484a54c0d ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb" 1215737283 140176 d4962f948b4cc0adf4d3dde77a128c95 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb" 1215737283 135942 859a90cad7494a1e79c94baf546d7de5 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1095.pfb" 1215737283 145929 f25e56369a345c4ff583b067cd87ce8e ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb" 1215737283 136101 f533469f523533d38317ab5729d00c8a ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb" 1215737283 131438 3aa300b3e40e5c8ba7b4e5c6cebc5dd6 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfsl1095.pfb" 1215737283 158320 b2e637419eb81344af310d8483cced13 ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfti1095.pfb" 1215737283 196446 8fbbe4b97b83e5182def6d29a44e57fb ""
"/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sftt1095.pfb" 1215737283 169670 48d12e69c9a3b23c81f6d703ccbd4554 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls" 1636758526 20144 8a7de377ae7a11ee924a7499611f5a9d ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty" 1622581934 4946 461cc78f6f26901410d9f1d725079cc6 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty" 1622581934 5049 969aec05d5f39c43f8005910498fcf90 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/base/size11.clo" 1636758526 8464 74db94825c407b51399ca17d9bd38a3d ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/base/t1cmtt.fd" 1622581934 2443 6dd9a5deeddddfcceb01d1932590ebad ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1644269979 29921 d0acc05a38bd4aa3af2017f0b7c137ce ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-3.def" 1368571634 12057 2970a4c64555bdf31d1fa2f777664d57 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-33.def" 1368571634 8589 ed28b1c7dfc407d19d76bca04a0a8153 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-34.def" 1368571634 10889 f4bb23aad9b12df75a5d13bd63a0cd45 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-global.def" 1368571634 1375 8a855db83af5d6753ccbbd32e6a8a901 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty" 1368571634 27982 5723d81d568db410592a59b85fb3eaae ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucsencs.def" 1368571634 22368 c53c9d0d16c65bef2b157515c9d9f658 ""
"/usr/local/texlive/2022/texmf-dist/tex/latex/ucs/utf8x.def" 1368571634 8036 21f7ac37aafb6cfeddbb196b8bfd6280 ""
"/usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf" 1646502317 40171 cdab547de63d26590bebb3baff566530 ""
"/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1647878959 4410336 7d30a02e9fa9a16d7d1f8d037ba69641 ""
"/usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt" 1652796879 2826444 08bd04463575e134848a78e5b78fb04a ""
"/usr/local/texlive/2022/texmf.cnf" 1647878952 577 209b46be99c9075fd74d4c0369380e8c ""
"doc/Syntax.aux" 1685334388 32 3985256e7290058c681f74d7a3565a19 "pdflatex"
"doc/Syntax.tex" 1685334388 13306 ff08264867762cf202c979b8841e3d1e ""
(generated)
"doc/Syntax.aux"
"doc/Syntax.log"
"doc/Syntax.pdf"
135 changes: 135 additions & 0 deletions rzk/doc/Syntax.fls
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,135 @@
PWD /Users/nikolaikudasov/git/fizruk/rzk/rzk
INPUT /usr/local/texlive/2022/texmf.cnf
INPUT /usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf
INPUT /usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt
INPUT doc/Syntax.tex
OUTPUT doc/Syntax.log
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/article.cls
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/size11.clo
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/size11.clo
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/size11.clo
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/size11.clo
INPUT /usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1095.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/inputenc.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/utf8x.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/utf8x.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/utf8x.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/utf8x.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucs.sty
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-global.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-global.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-global.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-global.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
INPUT doc/Syntax.aux
INPUT doc/Syntax.aux
INPUT doc/Syntax.aux
OUTPUT doc/Syntax.aux
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucsencs.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucsencs.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucsencs.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/ucsencs.def
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecti1095.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ecsl1095.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/t1cmtt.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/t1cmtt.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/t1cmtt.fd
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/base/t1cmtt.fd
INPUT /usr/local/texlive/2022/texmf-dist/fonts/tfm/jknappen/ec/ectt1095.tfm
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-3.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-3.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-3.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-3.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-33.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-33.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-33.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-33.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-34.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-34.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-34.def
INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/ucs/data/uni-34.def
OUTPUT doc/Syntax.pdf
INPUT /usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map
INPUT doc/Syntax.aux
INPUT /usr/local/texlive/2022/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1095.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfsl1095.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfti1095.pfb
INPUT /usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sftt1095.pfb
Loading

0 comments on commit fb6eda1

Please sign in to comment.