Louis Gesbert af0ac95682 Propagate renaming of Pos.mark* into module Marked ... this patch is just a bunch of `sed` commands ```shell cd compiler sed -i 's/Pos.marked/Marked.pos/g' *.ml* **/*.ml* sed -i 's/Pos.unmark/Marked.unmark/g' *.ml* **/*.ml* sed -i 's/Pos\.get_position/Marked.get_mark/g' *.ml* **/*.ml* sed -i 's/Pos\.same_pos_as/Marked.same_mark_as/g' *.ml* **/*.ml* sed -i 's/Pos\.map_under_mark/Marked.map_under_mark/g' *.ml* **/*.ml* sed -i 's/Pos\.mark/Marked.mark/g' *.ml* **/*.ml* sed -i 's/Pos\.compare_marked/Marked.compare/g' *.ml* **/*.ml* ```		2022-07-11 16:51:54 +02:00
..
dune	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00
html.ml	Propagate renaming of Pos.mark* into module Marked	2022-07-11 16:51:54 +02:00
html.mli	Add "print_only_law" option	2022-05-26 19:05:06 +02:00
latex.ml	Propagate renaming of Pos.mark* into module Marked	2022-07-11 16:51:54 +02:00
latex.mli	Add "print_only_law" option	2022-05-26 19:05:06 +02:00
literate_common.ml	Remove authors feature whose behavior is not satisfactory	2022-07-08 14:41:19 +02:00
literate_common.mli	Remove authors feature whose behavior is not satisfactory	2022-07-08 14:41:19 +02:00
literate.mld	Documentation pass	2022-01-19 10:54:16 +01:00