 Carsten Dominik
|
69e6d249aa
Push version number to 6.26trans
|
16 lat temu |
|
Carsten Dominik
|
73854f435d
Release 6.26d
|
16 lat temu |
|
Carsten Dominik
|
595e9603ac
Release 6.26c
|
16 lat temu |
|
Carsten Dominik
|
e0cd12716a
Release 6.26b
|
16 lat temu |
|
Carsten Dominik
|
b8a5f1a7fc
Release 6.26a
|
16 lat temu |
|
Carsten Dominik
|
49669d137a
HTML export: Fix bugs with IDs
|
16 lat temu |
|
Carsten Dominik
|
ba66d2c8ae
Release 6.26
|
16 lat temu |
|
Carsten Dominik
|
53d0746d8d
Export: Use custom IDs.
|
16 lat temu |
|
Carsten Dominik
|
790ab8cfe4
Export: Fix bug with time stamps missing a space.
|
16 lat temu |
|
Carsten Dominik
|
e06b3e5d25
HTML export: New span element around time stamps
|
16 lat temu |
|
Carsten Dominik
|
f48c35a8e6
Export: Start paragraphs after the end of literal examples.
|
16 lat temu |
|
Carsten Dominik
|
bc6f83e966
HTML export: moved functions to separate file.
|
16 lat temu |
