Merge branch 'object-explorer'master
tree76c4ce0c88dfc1b4a8b489bee2055d1a9a923b16
-rw-r--r-- 187 .gitignore
-rw-r--r-- 1056 License
-rw-r--r-- 8302 Notes
-rw-r--r-- 2588 ReadMe
-rw-r--r-- 306 build-settings
-rw-r--r-- 195 command-line.k
drwxr-xr-x - docs
drwxr-xr-x - library
-rw-r--r-- 158 load-trylid.k
-rw-r--r-- 964 makefile
drwxr-xr-x - sources
-rw-r--r-- 643 start-self.k
-rw-r--r-- 646 start.k
drwxr-xr-x - tests
-rw-r--r-- 8 version