 Achim D. Brucker
|
922da1aa21
|
Preparation of 1.1.0/Isabelle2020 release.
|
2021-03-20 22:30:17 +00:00 |
|
Achim D. Brucker
|
0300a64119
|
Added v.1.1.0.
|
2021-03-20 22:25:29 +00:00 |
|
Achim D. Brucker
|
6d166ecee4
|
Added links for 1.1.0/Isabelle2020 release.
|
2021-03-20 22:19:57 +00:00 |
|
Achim D. Brucker
|
a0654d8db9
|
Added Nicolas Méric as contributor.
|
2021-03-20 22:05:57 +00:00 |
|
Achim D. Brucker
|
e495a7b2fe
|
Revising Chapter 5.
|
2021-02-13 17:04:17 +00:00 |
|
Achim D. Brucker
|
018bfa4bcd
|
Added default escapechar for ltx environment.
|
2021-02-12 02:24:31 +00:00 |
|
Achim D. Brucker
|
15c958ec64
|
Revised Chapter 4.
|
2021-02-11 19:10:38 +00:00 |
|
Achim D. Brucker
|
29661f6734
|
Revised Sec. 4.2.
|
2021-02-10 09:05:59 +00:00 |
|
Achim D. Brucker
|
3649fb855e
|
Revised Sec. 4.1.
|
2021-02-09 20:56:56 +00:00 |
|
Achim D. Brucker
|
43184a9995
|
Migrated \inlinebawsh{}.
|
2021-02-08 15:34:59 +00:00 |
|
Achim D. Brucker
|
ed8cd2ad9d
|
Migrated \inlinebawsh{}.
|
2021-02-08 15:33:45 +00:00 |
|
Achim D. Brucker
|
029ae709e6
|
Migrated \inlineltx{}, except when argument contained { or }.
|
2021-02-07 20:01:43 +00:00 |
|
Achim D. Brucker
|
85d94848b6
|
Revised Chapter 3.
|
2021-02-06 12:08:18 +00:00 |
|
Achim D. Brucker
|
b61346fd64
|
Revised Sec. 3.2.
|
2021-02-05 06:58:22 +00:00 |
|
Achim D. Brucker
|
3d0cbf6a4f
|
Revised Sec. 3.1.
|
2021-02-04 18:52:38 +00:00 |
|
Achim D. Brucker
|
50d3dde1a0
|
Converted \inlinesml{...}.
|
2021-02-03 05:13:05 +00:00 |
|
Achim D. Brucker
|
d605e23218
|
Converted \inlinesml{...}.
|
2021-02-02 12:22:35 +00:00 |
|
Achim D. Brucker
|
2d3e521296
|
Converted \inlinebash{...}.
|
2021-02-02 12:20:03 +00:00 |
|
Achim D. Brucker
|
b81eef7bd2
|
Converted bash-environments to antiqotations.
|
2021-02-01 05:06:15 +00:00 |
|
Achim D. Brucker
|
a1332ec9a4
|
Converted bash-environments to antiqotations.
|
2021-01-31 16:54:22 +00:00 |
|
Achim D. Brucker
|
243556467a
|
Merge remote-tracking branch 'origin/add-todos-fix-typos'
|
2021-01-30 06:47:47 +00:00 |
Nicolas Méric
|
4d9de40037
|
Add TODOs to improve the wording
|
2021-01-28 13:04:29 +01:00 |
|
Nicolas Méric
|
76266fbd5e
|
Add TODOs to improve text consistency
There are some inconsistencies between some figures and the text
which refers to them.
|
2021-01-28 12:59:48 +01:00 |
|
Nicolas Méric
|
1fb97c8fb0
|
Add TODOs to delete references to where clause
The where clause for ontology classes is deprecated
in favor of the accepts and rejects clauses.
|
2021-01-28 12:48:54 +01:00 |
|
Nicolas Méric
|
5b618562a2
|
Fix some typos
|
2021-01-28 12:46:20 +01:00 |
|
Achim D. Brucker
|
e9fc175cb6
|
Cleanup.
|
2021-01-25 23:34:23 +00:00 |
|
Achim D. Brucker
|
7e3c82f65e
|
Cleanup.
|
2021-01-21 16:20:27 +00:00 |
|
Achim D. Brucker
|
b4482b02d9
|
Modernized comment syntax.
|
2021-01-20 23:25:17 +00:00 |
|
Achim D. Brucker
|
a9737762fd
|
Fixed spacing in front of index entries..
|
2021-01-19 23:12:58 +00:00 |
|
Achim D. Brucker
|
fc2817db0d
|
Cleanup.
|
2021-01-18 20:30:39 +00:00 |
|
Achim D. Brucker
|
6ed771ef04
|
Workaround to support lualatex.
|
2021-01-17 06:37:14 +00:00 |
|
Achim D. Brucker
|
9e605d2e3c
|
Removed fixme.
|
2021-01-15 00:46:29 +00:00 |
|
Achim D. Brucker
|
676b0304a8
|
Print abstract title/name and removed table of contents.
|
2021-01-14 05:24:10 +00:00 |
|
Achim D. Brucker
|
c03b54584c
|
Fixed package name.
|
2021-01-13 12:12:18 +00:00 |
|
Achim D. Brucker
|
1c57e9b08b
|
Fixed package name.
|
2021-01-12 23:46:47 +00:00 |
|
Achim D. Brucker
|
e0305a6694
|
Updated TeXLive dependency to TeXLive 2020.
|
2021-01-11 19:21:08 +00:00 |
|
Achim D. Brucker
|
be09cb7d89
|
Fixed file permissions.
|
2021-01-10 06:56:28 +00:00 |
|
Achim D. Brucker
|
88504abf33
|
Added wrapper for amssymb to support amssymb-like commands for both pdflatex and luatex.
|
2021-01-10 06:56:05 +00:00 |
|
Achim D. Brucker
|
6927781d26
|
Merge.
|
2021-01-09 06:32:17 +00:00 |
|
Achim D. Brucker
|
7e01ff7021
|
Cleanup.
|
2021-01-08 03:54:37 +00:00 |
|
Achim D. Brucker
|
82121d7204
|
Cleanup.
|
2021-01-07 04:39:28 +00:00 |
|
Achim D. Brucker
|
225309482b
|
Updated copyright information.
|
2021-01-06 06:48:36 +00:00 |
|
Achim D. Brucker
|
78a17a66b5
|
Fixed copyright header.
|
2021-01-05 11:32:26 +00:00 |
|
Achim D. Brucker
|
20b3e7c0b7
|
Removed pdflatex check (TeX Live 2019 should available everywhere and the dependency is still checked during installation.
|
2021-01-05 11:25:55 +00:00 |
|
Achim D. Brucker
|
d2dcc71229
|
Removed explicit vspaces to clean up layout.
|
2021-01-04 06:32:56 +00:00 |
 Burkhart Wolff
|
d86e708154
|
a first imprfect solution for the assert* problem; 4th chapter roughly completed.
|
2021-01-03 14:07:21 +01:00 |
|
Burkhart Wolff
|
aee1d33709
|
renaming ISA's; new shortcuts; more content in the RefMan.
|
2021-01-02 15:57:28 +01:00 |
|
Burkhart Wolff
|
b71be9c4a8
|
Reorganization Chap 4. <4.3.2
|
2021-01-01 21:34:05 +01:00 |
|
Burkhart Wolff
|
396ef1d477
|
More content in 4, better tree printing.
|
2021-01-01 21:23:21 +01:00 |
|
Burkhart Wolff
|
950a86aa5a
|
Adding better explanation of the core functionalities...
|
2021-01-01 16:12:07 +01:00 |