diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-10-13 13:35:03 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-13 13:35:03 +0200 |
| commit | fe2881fe9c09372ac4a5cc54e96b439d024dffd9 (patch) | |
| tree | 3504ac660491293154ca2cb566a68ba8ce635c39 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.jdt.core.prefs | |
| parent | Refactoring of Alloy type mapping and interpretation. (diff) | |
| download | VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.gz VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.tar.zst VIATRA-Generator-fe2881fe9c09372ac4a5cc54e96b439d024dffd9.zip | |
:lipstick:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions