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 |
---|---|---|
article | ||
images | ||
pictures | ||
saved | ||
README.md | -rw-r--r-- | 6.4 KB |
angle_chasing.py | -rw-r--r-- | 5.6 KB |
basic.gl | -rw-r--r-- | 4.5 KB |
basic_tools.py | -rw-r--r-- | 2.7 KB |
cairo_textedit.py | -rw-r--r-- | 4.1 KB |
debug.gl | -rw-r--r-- | 648 bytes |
file_chooser.py | -rw-r--r-- | 2.7 KB |
geo_logic.py | -rwxr-xr-x | 12.5 KB |
geo_object.py | -rw-r--r-- | 7.3 KB |
graphical_env.py | -rw-r--r-- | 7.5 KB |
gtool.py | -rw-r--r-- | 15.4 KB |
gtool_constr.py | -rw-r--r-- | 23.0 KB |
gtool_general.py | -rw-r--r-- | 3.5 KB |
gtool_label.py | -rw-r--r-- | 7.2 KB |
gtool_logic.py | -rw-r--r-- | 9.3 KB |
gtool_standalone.py | -rw-r--r-- | 35.3 KB |
gui_tool_icons.py | -rw-r--r-- | 9.7 KB |
knowledge_visualisation.py | -rw-r--r-- | 44.5 KB |
label_visualiser.py | -rw-r--r-- | 5.5 KB |
logical_core.py | -rw-r--r-- | 6.3 KB |
macros.gl | -rw-r--r-- | 25.3 KB |
movable_tools.py | -rw-r--r-- | 10.7 KB |
num_duplicities.py | -rw-r--r-- | 1.2 KB |
parse.py | -rw-r--r-- | 8.7 KB |
primitive_constr.py | -rw-r--r-- | 1.8 KB |
primitive_pred.py | -rw-r--r-- | 1.4 KB |
primitive_tools.py | -rw-r--r-- | 4.7 KB |
relstr.py | -rw-r--r-- | 2.5 KB |
sparse_elim.py | -rw-r--r-- | 14.4 KB |
sparse_row.py | -rw-r--r-- | 2.3 KB |
step_list.py | -rw-r--r-- | 5.6 KB |
stop_watch.py | -rw-r--r-- | 2.3 KB |
technical_doc.txt | -rw-r--r-- | 2.5 KB |
todo | -rw-r--r-- | 4.4 KB |
tool_step.py | -rw-r--r-- | 8.2 KB |
toolbar.py | -rw-r--r-- | 7.8 KB |
tools.py | -rw-r--r-- | 6.9 KB |
triggers.py | -rw-r--r-- | 13.6 KB |
uf_dict.py | -rw-r--r-- | 4.6 KB |
uf_set.py | -rw-r--r-- | 1.4 KB |
view_port_ori.py | -rw-r--r-- | 5.3 KB |
viewport.py | -rw-r--r-- | 20.4 KB |
Computing file changes ...