Remove old ML code

Fix #244
zxcalc · Sep 24, 2018 · c699dbc · c699dbc
1 parent ed36593
commit c699dbc
Show file tree

Hide file tree

Showing 1,761 changed files with 0 additions and 341,707 deletions.
diff --git a/bin/quantomatic b/bin/quantomatic
diff --git a/bin/to_dir.rb b/bin/to_dir.rb
diff --git a/console/quanto.rb b/console/quanto.rb
diff --git a/core/Makefile b/core/Makefile
diff --git a/core/Pure/Concurrent/bash.ML b/core/Pure/Concurrent/bash.ML