diff options
Diffstat (limited to 'courseNotes/mathematical_logic.html')
| -rw-r--r-- | courseNotes/mathematical_logic.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/courseNotes/mathematical_logic.html b/courseNotes/mathematical_logic.html index 96942d8..f42e8b0 100644 --- a/courseNotes/mathematical_logic.html +++ b/courseNotes/mathematical_logic.html | |||
| @@ -891,7 +891,7 @@ | |||
| 891 | depth: 3, | 891 | depth: 3, |
| 892 | payload: { lines: [115, 116] }, | 892 | payload: { lines: [115, 116] }, |
| 893 | content: | 893 | content: |
| 894 | '<font color="red" size=5><b>看我干什么？看书！<b></b></font>', | 894 | '<font color="red" size=3><b>看我干什么？看书！<b></b></font>', |
| 895 | }, | 895 | }, |
| 896 | ], | 896 | ], |
| 897 | }, | 897 | }, |
| @@ -1959,7 +1959,7 @@ | |||
| 1959 | depth: 4, | 1959 | depth: 4, |
| 1960 | payload: { lines: [263, 264] }, | 1960 | payload: { lines: [263, 264] }, |
| 1961 | content: | 1961 | content: |
| 1962 | '<font color="red" size=5><b>看我干什么？看书！<b></b></font>', | 1962 | '<font color="red" size=3><b>看我干什么？看书！<b></b></font>', |
| 1963 | }, | 1963 | }, |
| 1964 | ], | 1964 | ], |
| 1965 | }, | 1965 | }, |
| @@ -1996,7 +1996,7 @@ | |||
| 1996 | depth: 4, | 1996 | depth: 4, |
| 1997 | payload: { lines: [268, 269] }, | 1997 | payload: { lines: [268, 269] }, |
| 1998 | content: | 1998 | content: |
| 1999 | '<font color="red" size=5><b>看我干什么？看书！<b></b></font>', | 1999 | '<font color="red" size=3><b>看我干什么？看书！<b></b></font>', |
| 2000 | }, | 2000 | }, |
| 2001 | ], | 2001 | ], |
| 2002 | }, | 2002 | }, |
| @@ -2060,7 +2060,7 @@ | |||
| 2060 | depth: 5, | 2060 | depth: 5, |
| 2061 | payload: { lines: [277, 278] }, | 2061 | payload: { lines: [277, 278] }, |
| 2062 | content: | 2062 | content: |
| 2063 | '<font color="red" size=5><b>看我干什么？看书！<b></b></font>', | 2063 | '<font color="red" size=3><b>看我干什么？看书！<b></b></font>', |
| 2064 | }, | 2064 | }, |
| 2065 | ], | 2065 | ], |
| 2066 | }, | 2066 | }, |
| @@ -2126,7 +2126,7 @@ | |||
| 2126 | depth: 6, | 2126 | depth: 6, |
| 2127 | payload: { lines: [286, 287] }, | 2127 | payload: { lines: [286, 287] }, |
| 2128 | content: | 2128 | content: |
| 2129 | '<font color="red" size=5><b>看我干什么？看书！<b></b></font>', | 2129 | '<font color="red" size=3><b>看我干什么？看书！<b></b></font>', |
| 2130 | }, | 2130 | }, |
| 2131 | ], | 2131 | ], |
| 2132 | }, | 2132 | }, |