| .. |
|
3rd_party_libs
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
media
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
atompm.html
|
9f326c45ad
removed chatbox
|
9 years ago |
|
behaviourmanager.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
behavioursc_canvas.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
behavioursc_dialog.js
|
b015b36f28
added a "file<pattern>" type, which will include a button in the editor to
|
9 years ago |
|
behavioursc_inputbar.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
client.js
|
b29a3f346a
added "new formalism" button to main toolbar, which creates a new
|
9 years ago |
|
collaboration.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
compile_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
connection_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
constants.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
data_utils.js
|
c0e84c5dd5
added file management operations to file browser
|
9 years ago |
|
edit_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
geometry_utils.js
|
094eeb841d
fixed a cross-browser bug
|
9 years ago |
|
globalVariables.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
gui_utils.js
|
b015b36f28
added a "file<pattern>" type, which will include a button in the editor to
|
9 years ago |
|
http_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
init.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
input_bar_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
mmm_utils.js
|
5e24646761
layering is implemented: each time an edge is created, icons get a number assigned to them based on their place in the containment hierarchy
|
9 years ago |
|
query_response.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
selection_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
styles.css
|
e80d1f26d9
fixed placing of geometry tools
|
9 years ago |
|
svg_utils.js
|
cdc03fc724
initial commit (v0.5.4)
|
9 years ago |
|
user_management.js
|
9f92a74cea
fixed annoying cookie bug, user is now logged out if prefences not found
|
9 years ago |
|
window_event.js
|
b015b36f28
added a "file<pattern>" type, which will include a button in the editor to
|
9 years ago |
|
window_management.js
|
b015b36f28
added a "file<pattern>" type, which will include a button in the editor to
|
9 years ago |
Simon Van Mierlo
9f326c45ad
removed chatbox