-
Notifications
You must be signed in to change notification settings - Fork 3
Adding markdown part #141
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
mhjd
wants to merge
15
commits into
master
Choose a base branch
from
markdown
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Adding markdown part #141
Changes from all commits
Commits
Show all changes
15 commits
Select commit
Hold shift + click to select a range
5fba9e5
Adding markdown part
mhjd 8d01813
adding markdown option to dop.sh
mhjd 7c6e733
Adding markdown part
mhjd cb83ecf
Fusion : format issues, and add ensuring output channel closed
mhjd f8a4e7a
Revert markdown_builder.ml to the state before the fusion
mhjd 861fa93
fix format with ocamlformat
mhjd 0ce70f4
updating site_ocsimore for tyxml 4.6.0
mhjd 3686648
Updating link in link_of_uri to markdown syntax. Not working well in …
mhjd c0f1667
update for tyxml 4.6.0
mhjd e65f684
Merge branch 'master' into markdown
balat 328c8d4
remove empty file
mhjd 5c1a145
put the error back
mhjd 4ac38bc
delete useless comments
mhjd 5dfa8c4
move close_out for more consistency
mhjd 07dd7ca
supression of useless comments
mhjd File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.