Fix markup
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 18 Dec 2014 16:06:32 +0000 (17:06 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 18 Dec 2014 16:06:32 +0000 (17:06 +0100)
README.md

index 6b98acf..ac11d35 100644 (file)
--- a/README.md
+++ b/README.md
@@ -79,7 +79,7 @@ Seening this, my usual thoughts would be
  * `foobar` cannot go to either `Where_To_Move_Ex1` nor `Where_To_Move_Ex2`. But it still
    is not at a proper spot right now: The theory `Where_To_Move_Ex3` is more suitable.
  * `foobar2` is, upon first glance, at the right spot, as it uses `fooI2` and
  * `foobar` cannot go to either `Where_To_Move_Ex1` nor `Where_To_Move_Ex2`. But it still
    is not at a proper spot right now: The theory `Where_To_Move_Ex3` is more suitable.
  * `foobar2` is, upon first glance, at the right spot, as it uses `fooI2` and
-   `barE2` from this module. ''If'' I would move `fooI2` and `barE2`, I would also be
+   `barE2` from this module. *If* I would move `fooI2` and `barE2`, I would also be
    able to move `foobar2`, but maybe I will not do that, so for now `foobar2`
    stays where it is.
 
    able to move `foobar2`, but maybe I will not do that, so for now `foobar2`
    stays where it is.
 
@@ -113,11 +113,11 @@ Usage
    find the first (i.e. most primitive) theory that contains all theories of
    all lemmas used by the theorem in question.
 
    find the first (i.e. most primitive) theory that contains all theories of
    all lemmas used by the theorem in question.
 
- * `where_to_move` ''thm''
+ * `where_to_move` *thm*
 
    The same, but for a specific theorem only.
 
 
    The same, but for a specific theorem only.
 
- * `theorems_used_by` ''thm''
+ * `theorems_used_by` *thm*
 
    Prints all theorems used by the given theorems. Can be useful to understand
    why `where_to_move` suggests a particular choice.
 
    Prints all theorems used by the given theorems. Can be useful to understand
    why `where_to_move` suggests a particular choice.