A very basic regex-based Markdown parser. Supports the
following elements (and can be extended via Slimdown::add_rule()
):
- Headers
- Links
- Bold
#!/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 |
A very basic regex-based Markdown parser. Supports the
following elements (and can be extended via Slimdown::add_rule()
):
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 |
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 |
*.cmx | |
*.cmxs | |
*.o | |
*.cmi | |
*.cmo | |
*.d | |
Makefile | |
coqpy | |
twistd.log | |
*.pyc |
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 |