1e1c386b18
Accepting request 1333234 from Publishing
...
- Update to version 2.38.
* Fix some minor bugs and add minor enhancements.
* Important change of behaviour: spaces are no longer replicated
in output as non-breaking spaces in display mode.
Math-display now behaves as inline-math in that aspect.
* New implementation of the fancyvrb package using CSS.
* Minor improvements for the mathpartir package.
* New option `-fix0` for performing one step of main fixpoint
loop (option `-fix`, by Chris Spiel).
* Many changes and improvements suggested by Xaver Leroy.
* Option `-mathml` that was barely usable is deprecated.
* Windows adaptation, by Mohamed Hernouf.
OBS-URL: https://build.opensuse.org/request/show/1333234
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=9
2026-02-16 12:11:56 +00:00
Aaron Puchert
43e4b6aa07
- Update to version 2.38.
...
* Fix some minor bugs and add minor enhancements.
* Important change of behaviour: spaces are no longer replicated
in output as non-breaking spaces in display mode.
Math-display now behaves as inline-math in that aspect.
* New implementation of the fancyvrb package using CSS.
* Minor improvements for the mathpartir package.
* New option `-fix0` for performing one step of main fixpoint
loop (option `-fix`, by Chris Spiel).
* Many changes and improvements suggested by Xaver Leroy.
* Option `-mathml` that was barely usable is deprecated.
* Windows adaptation, by Mohamed Hernouf.
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=17
2026-02-15 22:32:44 +00:00
d4af1a5ede
Accepting request 1295975 from Publishing
...
- Update to version 2.37.
* Bug fix release.
OBS-URL: https://build.opensuse.org/request/show/1295975
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=8
2025-07-30 09:42:14 +00:00
Aaron Puchert
cd4478200e
- Update to version 2.37.
...
* Bug fix release.
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=15
2025-07-27 17:27:25 +00:00
47b6adb0d1
Accepting request 983171 from Publishing
...
- Update to version 2.36.
* Compatibility with OCaml 5.0.
OBS-URL: https://build.opensuse.org/request/show/983171
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=7
2022-06-17 19:20:54 +00:00
Aaron Puchert
d574101607
- Use https in URL.
...
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=13
2022-06-16 16:46:47 +00:00
Aaron Puchert
e5bfae8858
- Update to version 2.36.
...
* Compatibility with OCaml 5.0.
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=12
2022-06-16 16:37:29 +00:00
537902f1e7
Accepting request 915316 from Publishing
...
- Requires at least OCaml 4.08
OBS-URL: https://build.opensuse.org/request/show/915316
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=6
2021-09-01 19:37:02 +00:00
Aaron Puchert
5eddef29a0
Accepting request 915304 from devel:languages:ocaml
...
- Requires at least OCaml 4.08
OBS-URL: https://build.opensuse.org/request/show/915304
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=11
2021-08-31 21:12:36 +00:00
07fc3d249e
Accepting request 863909 from Publishing
...
- Update to version 2.35.
* Some optimisation in text output (replace ' '+ '\n' by '\n').
* Correct bug in text mode on bad combination of indentation and underlining.
OBS-URL: https://build.opensuse.org/request/show/863909
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=5
2021-01-18 10:29:43 +00:00
Aaron Puchert
9221de8f3c
- Update to version 2.35.
...
* Some optimisation in text output (replace ' '+ '\n' by '\n').
* Correct bug in text mode on bad combination of indentation and
underlining.
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=9
2021-01-17 21:12:05 +00:00
0b05373f5f
Accepting request 789579 from Publishing
...
- Update to version 2.34.
* Add command \formatlinks for greater control over navigation links.
OBS-URL: https://build.opensuse.org/request/show/789579
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=4
2020-03-30 21:02:46 +00:00
Aaron Puchert
47e5fad047
- Update to version 2.34.
...
* Add command \formatlinks for greater control over navigation
links.
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=7
2020-03-29 21:24:34 +00:00
ccdf0d7192
Accepting request 774439 from Publishing
...
- Update to version 2.33.
* Modifications to cope with upcoming ocaml 4.10.0.
OBS-URL: https://build.opensuse.org/request/show/774439
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=3
2020-02-15 21:25:11 +00:00
Aaron Puchert
e90c125265
- Update to version 2.33.
...
* Modifications to cope with upcoming ocaml 4.10.0.
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=5
2020-02-15 02:47:56 +00:00
229ac4a130
Accepting request 744750 from Publishing
...
OBS-URL: https://build.opensuse.org/request/show/744750
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=2
2019-11-03 11:11:16 +00:00
Aaron Puchert
6ddf4b3c71
Accepting request 744736 from home:olh:branches:Publishing
...
- Require the native ocaml compiler, those Makefiles are written that way...
OBS-URL: https://build.opensuse.org/request/show/744736
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=3
2019-11-01 12:15:43 +00:00
7b1ec47caf
Accepting request 715459 from Publishing
...
Initial release based on version 2.32.
OBS-URL: https://build.opensuse.org/request/show/715459
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/hevea?expand=0&rev=1
2019-07-23 20:34:35 +00:00
1a7de91b6f
Accepting request 715352 from home:aaronpuchert
...
- Initial release based on version 2.32.
OBS-URL: https://build.opensuse.org/request/show/715352
OBS-URL: https://build.opensuse.org/package/show/Publishing/hevea?expand=0&rev=1
2019-07-15 06:51:33 +00:00
