 Burkhart Wolff
|
7999ee9a38
|
recvision till line 2000 (Term Parsing)
|
2020-10-21 13:49:01 +02:00 |
|
Burkhart Wolff
|
9b2c08183e
|
recvision till line 2000 (Term Parsing)
|
2020-10-20 18:26:20 +02:00 |
|
Burkhart Wolff
|
9ad51e9d70
|
Actualized Para on Toplevel Management
|
2020-10-20 14:22:53 +02:00 |
 Achim D. Brucker
|
538292b972
|
Fixed LaTeX compiliation error.
|
2020-10-06 04:45:30 +01:00 |
|
Achim D. Brucker
|
a175871474
|
Improved definition of \ie and \eg.
|
2020-10-06 04:45:14 +01:00 |
|
Burkhart Wolff
|
c554b12be2
|
minor embellishments
|
2020-09-29 10:15:12 +02:00 |
|
Burkhart Wolff
|
873eda8ee0
|
stiluebungen
|
2020-09-25 13:38:34 +02:00 |
|
Burkhart Wolff
|
cdc1e0a7d8
|
stiluebungen < 1150
|
2020-09-23 13:57:32 +02:00 |
|
Burkhart Wolff
|
2cdf9f3124
|
stiluebungen < 1150
|
2020-09-23 13:23:20 +02:00 |
|
Burkhart Wolff
|
bea648530b
|
pushup.
|
2020-09-22 16:57:50 +02:00 |
|
Burkhart Wolff
|
d655effcf8
|
pushup.
|
2020-09-22 16:47:05 +02:00 |
|
Burkhart Wolff
|
9956bbf062
|
pushup, stiluebungen.
|
2020-09-22 16:35:28 +02:00 |
|
Burkhart Wolff
|
c1d6694b7c
|
stiluebungen am PML
|
2020-09-22 14:50:57 +02:00 |
|
Burkhart Wolff
|
ad6ba9e302
|
stiluebungen am PML
|
2020-09-21 21:24:08 +02:00 |
|
Burkhart Wolff
|
6f36efae7f
|
stiluebungen am PML
|
2020-09-21 19:41:47 +02:00 |
|
Burkhart Wolff
|
b9de7663b6
|
added some paras in Guided Tour, corrected figure config Bug, exercice de style in MyCommentedIsa
|
2020-09-19 12:49:37 +02:00 |
|
Burkhart Wolff
|
6c6644ae0c
|
Updated MyCommentedIsabelle (a little; finished Guided Tour
|
2020-09-18 17:01:49 +02:00 |
|
Burkhart Wolff
|
5c22b80fb4
|
Nearly complete pass through chap 3
|
2020-09-16 14:24:39 +02:00 |
|
Achim D. Brucker
|
137262890e
|
Improved 'verbatim' output (removed generated %-signs).
|
2020-09-15 07:28:32 +01:00 |
|
Burkhart Wolff
|
77e3490477
|
...
|
2020-09-09 16:56:19 +02:00 |
|
Burkhart Wolff
|
41ac6006f8
|
rough pass through the guided tour.
|
2020-09-09 16:51:59 +02:00 |
|
Burkhart Wolff
|
2f95c56060
|
Version mit LaTeX Bizarrerie - verbatim _
|
2020-09-09 14:54:09 +02:00 |
|
Burkhart Wolff
|
2d2f4320e0
|
intermediate status with LaTeX pblsm
|
2020-09-09 13:17:22 +02:00 |
|
Achim D. Brucker
|
58617e87e6
|
Conversion: \isadof -> \<^isadof>.
|
2020-09-08 13:45:09 +01:00 |
|
Achim D. Brucker
|
640929ea71
|
Removed listings-based Isar setup.
|
2020-09-08 07:41:09 +01:00 |
|
Achim D. Brucker
|
37a71a613e
|
Ad hoc conversion: \inlineisar|...| -> @{boxed_theory_text ... }.
|
2020-09-08 07:30:14 +01:00 |
|
Achim D. Brucker
|
3dabf4fc82
|
Improvements: @{boxed_theory_text [display] ... }.
|
2020-09-08 06:51:36 +01:00 |
|
Achim D. Brucker
|
109802a76a
|
Ad hoc conversion: \begin{isar}...\end{isar} -> @{boxed_theory_text [display] ... }.
|
2020-09-08 06:18:01 +01:00 |
|
Achim D. Brucker
|
6c2ad62df2
|
Cleanup.
|
2020-09-08 00:11:22 +01:00 |
|
Achim D. Brucker
|
ee251a8000
|
Removed unused LaTeX definitions and style files.
|
2020-09-08 00:01:50 +01:00 |
|
Achim D. Brucker
|
3eef2291e5
|
Integrated DOF-scholarly_paper-thm.sty.
|
2020-09-07 23:57:15 +01:00 |
|
Achim D. Brucker
|
7956a3009a
|
Initial commit: style for providing theorem-like default environments.
|
2020-09-07 23:56:43 +01:00 |
|
Achim D. Brucker
|
75719a933a
|
Added 2020-iFM-CSP example based on scrartcl.cls.
|
2020-09-07 23:35:43 +01:00 |
|
Achim D. Brucker
|
6b4bd6fea4
|
Removed boxed isar.
|
2020-09-07 23:19:41 +01:00 |
|
Burkhart Wolff
|
685f020b22
|
more content in Guided Tour.
|
2020-09-07 23:17:36 +01:00 |
|
Burkhart Wolff
|
39efc61686
|
some inpuit on Guided Tour
|
2020-09-07 23:17:36 +01:00 |
|
Burkhart Wolff
|
2321945dc4
|
sdf
|
2020-09-07 23:17:36 +01:00 |
|
Burkhart Wolff
|
fd532d985a
|
activated the new markup wherever possible. Started to revise chap 3.
|
2020-08-28 17:41:16 +02:00 |
|
Burkhart Wolff
|
bb68be990b
|
added wrapper to achims listings environments.
|
2020-08-28 12:49:28 +02:00 |
|
Burkhart Wolff
|
094281cf89
|
added wrapper to achims listings environments.
|
2020-08-28 12:42:20 +02:00 |
|
Burkhart Wolff
|
d206bf9f7c
|
shifted new env up into COL. Declared in the Frontmatter.
|
2020-08-27 15:54:51 +02:00 |
|
Burkhart Wolff
|
38ba8cace0
|
brought experiments with generic sub-text-element-environments into shape
|
2020-08-27 14:08:49 +02:00 |
|
Burkhart Wolff
|
fef4243e45
|
added define_macro2
|
2020-08-27 10:13:52 +02:00 |
|
Burkhart Wolff
|
b3ff21e210
|
introducing and testing of macros bindex and index.
|
2020-08-26 17:08:45 +02:00 |
|
Burkhart Wolff
|
41a1eaed44
|
added define_macros, corrections in 02_Background
|
2020-08-26 14:38:39 +02:00 |
|
Burkhart Wolff
|
00c4d15259
|
first feedback on Yakoubs CC
|
2020-08-26 11:48:25 +02:00 |
|
Burkhart Wolff
|
1dd07880ea
|
inbtroduced shortcut interface.
|
2020-08-26 09:56:25 +02:00 |
|
Burkhart Wolff
|
7a768cfdeb
|
versatile
|
2020-08-26 08:43:39 +02:00 |
|
Burkhart Wolff
|
338bb7d4a4
|
Code cleanup.
|
2020-08-25 11:59:10 +02:00 |
|
Burkhart Wolff
|
a792cc79d2
|
was lucky to solve a deep bug in standard antiquotation evaluation inside text* soon.
|
2020-08-25 11:11:38 +02:00 |