Timeline for Why doesn't the `div` predicate work here?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2023 at 22:34 | vote | accept | Andrew | ||
| Mar 22, 2023 at 17:14 | answer | added | Joshua Gancher | timeline score: 3 | |
| Mar 22, 2023 at 14:18 | comment | added | Andrej Bauer | Hurray, we have our first Z3 question. | |
| Mar 22, 2023 at 14:00 | history | edited | Trebor♦ | CC BY-SA 4.0 |
edited tags; edited title
|
| S Mar 22, 2023 at 11:23 | review | First questions | |||
| Mar 22, 2023 at 22:35 | |||||
| S Mar 22, 2023 at 11:23 | history | asked | Andrew | CC BY-SA 4.0 |