https://github.com/mirefek/geo_logic
Revision 01b27df4a0938ce8e9349d5397c85905d3bd8026 authored by mirefek on 27 March 2020, 09:32:25 UTC, committed by mirefek on 27 March 2020, 09:32:25 UTC
1 parent 1bcb6ea
Tip revision: 01b27df4a0938ce8e9349d5397c85905d3bd8026 authored by mirefek on 27 March 2020, 09:32:25 UTC
labels for pascal_out
labels for pascal_out
Tip revision: 01b27df
| File | Mode | Size |
|---|---|---|
| geo_logic.pdf | -rw-r--r-- | 363.3 KB |
| geo_logic.tex | -rw-r--r-- | 19.0 KB |
| llncs.cls | -rw-r--r-- | 42.4 KB |
| logic_system.pdf | -rw-r--r-- | 185.7 KB |
| screenshot.png | -rw-r--r-- | 87.8 KB |
| simson1.pdf | -rw-r--r-- | 11.0 KB |
| simson2a.pdf | -rw-r--r-- | 20.2 KB |
| simson2b.pdf | -rw-r--r-- | 19.2 KB |
| simson3.pdf | -rw-r--r-- | 31.2 KB |
| simson4.pdf | -rw-r--r-- | 39.2 KB |
| simson5.pdf | -rw-r--r-- | 40.2 KB |
Computing file changes ...
