Block or report user

Report or block PaulBone

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@Mercury-Language @PlasmaLang

Popular repositories

  1. mfcgi

    Fast CGI binding for Mercury

    Mercury 6

  2. protobuf-mercury

    Google protocol buffers for Mercury

    C++ 4 1

  3. ast2wasm

    AST to WebAssembly

    Haskell 3

  4. mclibs

    Open Source Mercury libraries by Mission Critical IT

    Mercury 2

  5. pbone_thesis

    My Ph.D. Thesis

    TeX 1 1

  6. mercury

    Forked from Mercury-Language/mercury

    The Mercury logic programming system.

    Mercury 1

698 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2019

Created a pull request in PlasmaLang/plasma that received 1 comment

[build] Skip building documentation if asciidoc isn't available

Skip building the documentation and give a warning if asciidoc is not in the path. Closes #96 Makefile: As above. .gitignore: Ignore a new sentinel…

+16 −1 1 comment

Created an issue in PlasmaLang/plasma that received 4 comments

Make building the documentation optional

The "all" make target builds the documentation, but if someone is happy using the online docs and doesn't want to install asciidoc, it should be op…


Seeing something unexpected? Take a look at the GitHub profile guide.