Login

objectionary/phino

This log is here for safety reason. Every time 0pdd is touching your GitHub repository, this log gets a unique record. Later, if 0pdd will try to submit a similar issue by mistake, this log will prevent that from happening, because all records here must be unique.

Since 2025-10-22T22:22:21+00:00

2025-10-02T19:43:02+00:00: Saved XML, puzzles:3/16, chars:12615, date:2025-10-02T19:43:02+00:00, version:BUILD /BUILD

2025-10-02T19:43:01+00:00: 278-c44ecf8a closed in issue #280 /BUILD

2025-10-02T14:56:18+00:00: Saved XML, puzzles:4/16, chars:12579, date:2025-10-02T14:56:18+00:00, version:BUILD /BUILD

2025-10-02T14:56:17+00:00: 169-9998264a closed in issue #213 /BUILD

2025-09-29T10:13:12+00:00: Saved XML, puzzles:5/16, chars:12543, date:2025-09-29T10:13:12+00:00, version:BUILD /BUILD

2025-09-29T10:13:11+00:00: 116-8b74c7b7 closed in issue #155 /BUILD

2025-09-29T10:13:10+00:00: Saved XML, puzzles:5/16, chars:12508, date:2025-09-29T10:13:10+00:00, version:BUILD /BUILD

2025-09-08T11:37:57+00:00: Saved XML, puzzles:6/16, chars:12507, date:2025-09-08T11:37:56+00:00, version:BUILD /BUILD

2025-09-08T11:23:39+00:00: Saved XML, puzzles:6/16, chars:12507, date:2025-09-08T11:23:39+00:00, version:BUILD /BUILD

2025-09-08T11:23:38+00:00: 114-ca47c25c submitted in issue #357: "Create LaTeX document wrapper. Generate proper LaTeX document with tabular format for rules. Each..." at src/LaTeX.hs; 17-20 /BUILD

2025-09-08T11:23:37+00:00: Saved XML, puzzles:6/16, chars:12455, date:2025-09-08T11:23:37+00:00, version:BUILD /BUILD

2025-09-08T11:23:36+00:00: 114-f84542df submitted in issue #356: "Implement LaTeX conversion for rules. Convert Rule data structure to LaTeX inference rule format...." at src/LaTeX.hs; 9-13 /BUILD

2025-09-08T11:23:35+00:00: Saved XML, puzzles:6/16, chars:12403, date:2025-09-08T11:23:35+00:00, version:BUILD /BUILD

2025-09-02T18:44:54+00:00: Saved XML, puzzles:4/14, chars:11257, date:2025-09-02T18:44:54+00:00, version:BUILD /BUILD

2025-09-02T18:44:53+00:00: Saved XML, puzzles:4/14, chars:11222, date:2025-09-02T18:44:53+00:00, version:BUILD /BUILD

2025-08-12T15:43:59+00:00: Saved XML, puzzles:5/14, chars:11221, date:2025-08-12T15:43:59+00:00, version:BUILD /BUILD

2025-08-12T15:43:58+00:00: 197-df40c0c2 closed in issue #202 /BUILD

2025-08-10T17:38:02+00:00: Saved XML, puzzles:6/14, chars:11185, date:2025-08-10T17:38:02+00:00, version:BUILD /BUILD

2025-08-09T14:23:14+00:00: Saved XML, puzzles:6/14, chars:11185, date:2025-08-09T14:23:14+00:00, version:BUILD /BUILD

2025-08-09T14:23:12+00:00: 277-7bc79ef6 submitted in issue #313: "Error messages are too verbose. Now, if we can't build expression or binding, we throw an..." at src/Builder.hs; 43-46 /BUILD

2025-07-23T13:56:14+00:00: Saved XML, puzzles:5/13, chars:10413, date:2025-07-23T13:56:14+00:00, version:BUILD /BUILD

2025-07-22T16:51:02+00:00: Saved XML, puzzles:5/13, chars:10413, date:2025-07-22T16:51:02+00:00, version:BUILD /BUILD

2025-07-22T16:51:00+00:00: 278-c44ecf8a submitted in issue #280: "Remove xmirAttributure and replace to prettyAttribute. Right now XMIR does not support "ρ" and..." at src/XMIR.hs; 80-83 /BUILD

2025-07-10T10:24:09+00:00: Saved XML, puzzles:4/12, chars:9627, date:2025-07-10T10:24:08+00:00, version:BUILD /BUILD

2025-07-09T15:58:58+00:00: Saved XML, puzzles:4/12, chars:9627, date:2025-07-09T15:58:58+00:00, version:BUILD /BUILD

more

--

BUILD