pool/hevea
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity

Commit Graph

  • 1e1c386b18 Accepting request 1333234 from Publishing factory Ana Guerrero 2026-02-16 12:11:56 +00:00
  • 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. Aaron Puchert 2026-02-15 22:32:44 +00:00
  • d4af1a5ede Accepting request 1295975 from Publishing Dominique Leuenberger 2025-07-30 09:42:14 +00:00
  • cd4478200e - Update to version 2.37. * Bug fix release. Aaron Puchert 2025-07-27 17:27:25 +00:00
  • 3126ac1284 Accepting request 983171 from Publishing leap-16.1 leap-16.0 Dominique Leuenberger 2022-06-17 19:20:54 +00:00
  • 47b6adb0d1 Accepting request 983171 from Publishing Dominique Leuenberger 2022-06-17 19:20:54 +00:00
  • 99bfc4af3d - Use https in URL. Aaron Puchert 2022-06-16 16:46:47 +00:00
  • d574101607 - Use https in URL. Aaron Puchert 2022-06-16 16:46:47 +00:00
  • c90044d7b4 - Update to version 2.36. * Compatibility with OCaml 5.0. Aaron Puchert 2022-06-16 16:37:29 +00:00
  • e5bfae8858 - Update to version 2.36. * Compatibility with OCaml 5.0. Aaron Puchert 2022-06-16 16:37:29 +00:00
  • c62b4d1a19 Accepting request 915316 from Publishing Dominique Leuenberger 2021-09-01 19:37:02 +00:00
  • 537902f1e7 Accepting request 915316 from Publishing Dominique Leuenberger 2021-09-01 19:37:02 +00:00
  • 44ad6917de Accepting request 915304 from devel:languages:ocaml Aaron Puchert 2021-08-31 21:12:36 +00:00
  • 5eddef29a0 Accepting request 915304 from devel:languages:ocaml Aaron Puchert 2021-08-31 21:12:36 +00:00
  • acd91d6f61 Accepting request 863909 from Publishing Dominique Leuenberger 2021-01-18 10:29:43 +00:00
  • 07fc3d249e Accepting request 863909 from Publishing Dominique Leuenberger 2021-01-18 10:29:43 +00:00
  • 08dce1033d - 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. Aaron Puchert 2021-01-17 21:12:05 +00:00
  • 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. Aaron Puchert 2021-01-17 21:12:05 +00:00
  • 1254cd0e04 Accepting request 789579 from Publishing Dominique Leuenberger 2020-03-30 21:02:46 +00:00
  • 0b05373f5f Accepting request 789579 from Publishing Dominique Leuenberger 2020-03-30 21:02:46 +00:00
  • da8378ab52 - Update to version 2.34. * Add command \formatlinks for greater control over navigation links. Aaron Puchert 2020-03-29 21:24:34 +00:00
  • 47e5fad047 - Update to version 2.34. * Add command \formatlinks for greater control over navigation links. Aaron Puchert 2020-03-29 21:24:34 +00:00
  • ad20d0847b Accepting request 774439 from Publishing Dominique Leuenberger 2020-02-15 21:25:11 +00:00
  • ccdf0d7192 Accepting request 774439 from Publishing Dominique Leuenberger 2020-02-15 21:25:11 +00:00
  • 0cbd6ee1a9 - Update to version 2.33. * Modifications to cope with upcoming ocaml 4.10.0. Aaron Puchert 2020-02-15 02:47:56 +00:00
  • e90c125265 - Update to version 2.33. * Modifications to cope with upcoming ocaml 4.10.0. Aaron Puchert 2020-02-15 02:47:56 +00:00
  • 4047f1b312 Accepting request 744750 from Publishing Dominique Leuenberger 2019-11-03 11:11:16 +00:00
  • 229ac4a130 Accepting request 744750 from Publishing Dominique Leuenberger 2019-11-03 11:11:16 +00:00
  • f3798a2a8e Accepting request 744736 from home:olh:branches:Publishing Aaron Puchert 2019-11-01 12:15:43 +00:00
  • 6ddf4b3c71 Accepting request 744736 from home:olh:branches:Publishing Aaron Puchert 2019-11-01 12:15:43 +00:00
  • 020510147c Accepting request 715459 from Publishing Dominique Leuenberger 2019-07-23 20:34:35 +00:00
  • 7b1ec47caf Accepting request 715459 from Publishing Dominique Leuenberger 2019-07-23 20:34:35 +00:00
  • 7e3eea6b20 Accepting request 715352 from home:aaronpuchert Martin Pluskal 2019-07-15 06:51:33 +00:00
  • 1a7de91b6f Accepting request 715352 from home:aaronpuchert Martin Pluskal 2019-07-15 06:51:33 +00:00