Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Structured Typesetting (STS) generation #9

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Structured Typesetting (STS) generation #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
7742b5c
Structured Typesetting (STS) generation
tirix Dec 24, 2021
8af50bc
Merge branch 'master' into structured-typesetting
tirix Dec 24, 2021
eedc22f
Rename global variables (to adapt to change 0.187 15-Aug-2020)
tirix Dec 24, 2021
9202215
Delete makefile, formatting.
tirix Dec 25, 2021
991bd6c
Double-space after periods in help texts.
tirix Dec 25, 2021
1a66907
More help text formatting
tirix Dec 25, 2021
f3ae0fa
Typo: parsetSTSRules -> parseSTSRules
tirix Dec 26, 2021
2a870d8
Update comments in metamath.c
tirix Dec 26, 2021
ea0bde7
Merge branch 'structured-typesetting' of https://github.com/tirix/met…
digama0 Jan 4, 2022
59c02a3
Merge remote-tracking branch 'origin/master' into tirix-structured-ty…
digama0 Jan 4, 2022
6371dc7
Merge commit 'origin/master~' into tirix-structured-typesetting
digama0 Jan 8, 2022
dcbc83a
Merge remote-tracking branch 'origin/master' into tirix-structured-ty…
digama0 Jan 8, 2022
c5925cb
fix compile errors/warnings
digama0 Jan 8, 2022
e5f602f
tabs -> spaces
digama0 Jan 8, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion Makefile.am
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,9 @@ noinst_HEADERS = \
mmveri.h \
mmvstr.h \
mmword.h \
mmwtex.h
mmwtex.h \
mmhtbl.h \
mmwsts.h

metamath_SOURCES = \
metamath.c \
Expand All @@ -30,6 +32,8 @@ metamath_SOURCES = \
mmvstr.c \
mmword.c \
mmwtex.c \
mmhtbl.c \
mmwsts.c \
$(noinst_HEADERS)


Expand Down
12,913 changes: 6,483 additions & 6,430 deletions metamath.c
View file
Open in desktop

Large diffs are not rendered by default.

Loading