A very basic regex-based Markdown parser. Supports the
following elements (and can be extended via Slimdown::add_rule()):
- Headers
- Links
- Bold
tomprince
/ gist:1280274
Created
October 12, 2011 04:28
This file contains 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
| diff --git a/tactics/class_tactics.ml4 b/tactics/class_tactics.ml4 | |
| index d26853b..7a60587 100644 | |
| --- a/tactics/class_tactics.ml4 | |
| +++ b/tactics/class_tactics.ml4 | |
| @@ -211,10 +211,11 @@ let nb_empty_evars s = | |
| let pr_ev evs ev = Printer.pr_constr_env (Goal.V82.env evs ev) (Evarutil.nf_evar evs (Goal.V82.concl evs ev)) | |
| -let pr_depth l = prlist_with_sep (fun () -> str ".") pr_int (List.rev l) | |
| +let pr_depth l = prlist_with_sep (fun () -> str ".") (fun (i,j) -> if j==0 then |
This file contains 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
| *.cmx | |
| *.cmxs | |
| *.o | |
| *.cmi | |
| *.cmo | |
| *.d | |
| Makefile | |
| coqpy | |
| twistd.log | |
| *.pyc |
tomprince
/ gist:1357337
Created
November 11, 2011 06:17
This file contains 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
| diff --git a/plugins/syntax/rebind_string_syntax.ml4 b/plugins/syntax/rebind_string_syntax.ml4 | |
| new file mode 100644 | |
| index 0000000..0d9967b | |
| --- /dev/null | |
| +++ b/plugins/syntax/rebind_string_syntax.ml4 | |
| @@ -0,0 +1,35 @@ | |
| +(*i camlp4deps: "parsing/grammar.cma" i*) | |
| + | |
| +open Pp | |
| +open Util |
tomprince
/ gist:1380905
Created
November 20, 2011 21:02
This file contains 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
| diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml | |
| index b0b0415..97e7794 100644 | |
| --- a/toplevel/vernacentries.ml | |
| +++ b/toplevel/vernacentries.ml | |
| @@ -415,7 +415,7 @@ let vernac_inductive finite infer indl = | |
| | [ ( id , bl , c , Class true, Constructors [l]), _ ] -> | |
| let f = | |
| let (coe, ((loc, id), ce)) = l in | |
| - let coe' = if coe then Some false else None in | |
| + let coe' = if coe then Some true else None in |
luelista
/ change_wallpaper
Last active
November 24, 2019 05:02
Use the recent "Astronomy Picture of the Day" by NASA as your desktop wallpaper (Python script for Mac OS X, should be easy do adapt for Linux or Windows)
This file contains 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
| #!/usr/bin/python | |
| # Downloads the current "Astronomy Picture of the Day" from nasa.gov and sets as wallpaper | |
| # | |
| # Installation steps: | |
| # - store this file somewhere and take note of the path | |
| # - change WALLPAPER_DIR to some folder in your home directory | |
| # and create the folder | |
| # - make it executable: | |
| # chmod a+x /path/to/change_wallpaper | |
| # - follow instructions given in the .plist file to make it run daily |
jbroadway
/ Slimdown.md
Last active
February 5, 2024 10:43
Slimdown - A simple regex-based Markdown parser.