Restrucuring.

Browse Source

...

This commit is contained in:

Achim D. Brucker 2018-11-27 09:26:54 +00:00

parent eea65018d1

commit 0bc6f5521e

21 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0

examples/scholarly/IsaDofApplications.thy → examples/academic_paper/IsaDofApplications.thy

Unescape Escape View File

0

examples/scholarly/Monitor_Example.thy → examples/academic_paper/Monitor_Example.thy

Unescape Escape View File

0

examples/scholarly/ROOT → examples/academic_paper/ROOT

Unescape Escape View File

0

examples/scholarly/document/build → examples/academic_paper/document/build

Unescape Escape View File

0

examples/scholarly/document/figures/Dogfood-II-bgnd1.png → examples/academic_paper/document/figures/Dogfood-II-bgnd1.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 14 KiB After Width:  |  Height:  |  Size: 14 KiB

0

examples/scholarly/document/figures/Dogfood-III-bgnd-text_section.png → examples/academic_paper/document/figures/Dogfood-III-bgnd-text_section.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 18 KiB After Width:  |  Height:  |  Size: 18 KiB

0

examples/scholarly/document/figures/Dogfood-IV-jumpInDocCLass.png → examples/academic_paper/document/figures/Dogfood-IV-jumpInDocCLass.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 23 KiB After Width:  |  Height:  |  Size: 23 KiB

0

examples/scholarly/document/figures/Dogfood-Intro.png → examples/academic_paper/document/figures/Dogfood-Intro.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 85 KiB After Width:  |  Height:  |  Size: 85 KiB

0

examples/scholarly/document/figures/Dogfood-V-attribute.png → examples/academic_paper/document/figures/Dogfood-V-attribute.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 16 KiB After Width:  |  Height:  |  Size: 16 KiB

0

examples/scholarly/document/figures/Dogfood-figures.png → examples/academic_paper/document/figures/Dogfood-figures.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 18 KiB After Width:  |  Height:  |  Size: 18 KiB

0

examples/scholarly/document/figures/InteractiveMathSheet.png → examples/academic_paper/document/figures/InteractiveMathSheet.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 75 KiB After Width:  |  Height:  |  Size: 75 KiB

0

examples/scholarly/document/figures/antiquotations-PIDE.png → examples/academic_paper/document/figures/antiquotations-PIDE.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 96 KiB After Width:  |  Height:  |  Size: 96 KiB

0

examples/scholarly/document/figures/isabelle-architecture.pdf → examples/academic_paper/document/figures/isabelle-architecture.pdf

Unescape Escape View File

0

examples/scholarly/document/figures/isabelle-architecture.svg → examples/academic_paper/document/figures/isabelle-architecture.svg

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 57 KiB After Width:  |  Height:  |  Size: 57 KiB

0

examples/scholarly/document/figures/srac-as-es-application.png → examples/academic_paper/document/figures/srac-as-es-application.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 67 KiB After Width:  |  Height:  |  Size: 67 KiB

0

examples/scholarly/document/figures/srac-definition.png → examples/academic_paper/document/figures/srac-definition.png

Unescape Escape View File

Side by Side Swipe Overlay Before Width:  |  Height:  |  Size: 50 KiB After Width:  |  Height:  |  Size: 50 KiB

0

examples/scholarly/document/lstisadof.sty → examples/academic_paper/document/lstisadof.sty

Unescape Escape View File

0

examples/scholarly/document/ontologies.tex → examples/academic_paper/document/ontologies.tex

Unescape Escape View File

0

examples/scholarly/document/preamble.tex → examples/academic_paper/document/preamble.tex

Unescape Escape View File

0

examples/scholarly/document/root.bib → examples/academic_paper/document/root.bib

Unescape Escape View File

0

examples/scholarly/document/root.tex → examples/academic_paper/document/root.tex

Unescape Escape View File