diff --git a/Makefile b/Makefile index 080490bc9..6c9cfd6d6 100644 --- a/Makefile +++ b/Makefile @@ -31,7 +31,9 @@ endif MAKEOVERRIDES+=DEBUG=$(DEBUG) -ifndef MXE +ifdef MXE +CPLUSPLUSOVERRIDE= +else ifdef GCC COMPILER=g++ else @@ -44,14 +46,15 @@ COMPILER=g++ endif LINK=$(COMPILER) endif -endif export COMPILER export CPLUSPLUS=$(COMPILER) +CPLUSPLUSOVERRIDE=CPLUSPLUS="$(COMPILER)" +endif ifneq ($(MAKECMDGOALS),clean) # make sure EcoLab is built first, even before starting to include Makefiles # disable AEGIS build here, as EcoLab 6 is still a little raw -build_ecolab:=$(shell cd ecolab; if $(MAKE) $(MAKEOVERRIDES) CPLUSPLUS="$(COMPILER)" AEGIS= $(JOBS) only-libs >build.log 2>&1; then echo "ecolab built"; fi) +build_ecolab:=$(shell cd ecolab; if $(MAKE) $(MAKEOVERRIDES) $(CPLUSPLUSOVERRIDE) AEGIS= $(JOBS) only-libs >build.log 2>&1; then echo "ecolab built"; fi) #$(warning $(build_ecolab)) ifneq ($(build_ecolab),ecolab built) @@ -59,8 +62,11 @@ $(warning $(shell cat ecolab/build.log)) $(error Making ecolab failed: check ecolab/build.log) endif include $(ECOLAB_HOME)/include/Makefile + +ifndef MXE # rewrite CPLUSPLUS after clobber in Makefile CPLUSPLUS=$(COMPILER) +endif # link statically to ecolab (needed until all bugs in EcoLab 6 ironed out) LIBS:=$(subst -lecolab,$(ECOLAB_HOME)/lib/libecolab.a,$(LIBS)) @@ -81,7 +87,7 @@ export GCOV export CLASSDESC=$(shell pwd)/ecolab/classdesc/classdesc MAKEOVERRIDES+=FPIC=1 CLASSDESC=$(CLASSDESC) ifneq ($(MAKECMDGOALS),clean) -build_ravelcapi:=$(shell cd RavelCAPI; if $(MAKE) $(JOBS) $(MAKEOVERRIDES) CPLUSPLUS="$(COMPILER)" >build.log 2>&1; then echo "ravelcapi built"; fi) +build_ravelcapi:=$(shell cd RavelCAPI; if $(MAKE) $(JOBS) $(MAKEOVERRIDES) >build.log 2>&1; then echo "ravelcapi built"; fi) $(warning $(build_ravelcapi)) ifneq ($(strip $(build_ravelcapi)),ravelcapi built) $(error Making RavelCAPI failed: check RavelCAPI/build.log) @@ -285,10 +291,10 @@ endif ifdef MXE EXE=.exe DL=dll -FLAGS+=-DMXE +FLAGS+=-DMXE -D_WIN32 -DUSE_UNROLLED -Wa,-mbig-obj +CXXFLAGS+=-std=c++20 PYMINSKY=gui-js/dynamic_libraries/pyminsky.pyd PYTHONCAPI=ecolab/classdesc/pythonCAPI.o # extra python.lib shims required on Windows -FLAGS+=-D_WIN32 -DUSE_UNROLLED -Wa,-mbig-obj # DLLS that need to be copied into the binary directory MXE_DLLS=libboost_thread-mt-x64 libbrotlidec libbrotlicommon libbz2 libcairo-2 \ libcroco-0 libcrypto-3-x64 \ @@ -302,8 +308,6 @@ libsoci libpq libsqlite BINDIR=$(subst bin,$(MXE_PREFIX)/bin,$(dir $(shell which $(CPLUSPLUS)))) $(warning $(BINDIR)) DLLS=$(notdir $(wildcard $(MXE_DLLS:%=$(BINDIR)/%*.dll))) -# Add soci support for RAVELPRO -#DLLS+=$(wildcard $(BINDIR)/libsoci*.dll) $(BINDIR)/libpq.dll $(BINDIR)/libsqlite3-0.dll else EXE= DL=so @@ -551,6 +555,9 @@ doc/Ravel/labels.pl: $(wildcard doc/*.tex) install-manual: doc/Ravel/labels.pl rsync -r -z --progress --delete doc/minsky.html doc/Ravel $(SF_WEB)/manual +desktop-manual: + rsync -r --delete doc/minsky.html doc/Ravel gui-js/minsky-docs + # run this after every full release install-release: install-doxydoc install-manual upload-schema diff --git a/doc/Ravel.pdf b/doc/Ravel.pdf index b5b4e8a45..943ce9b56 100644 Binary files a/doc/Ravel.pdf and b/doc/Ravel.pdf differ diff --git a/doc/Reference.tex b/doc/Reference.tex index f4c4f84ed..46c7554ca 100644 --- a/doc/Reference.tex +++ b/doc/Reference.tex @@ -1468,12 +1468,19 @@ \subsubsection{Linear Regression}\label{Operation:linearRegression} This operation performs linear regression of the inputs along a named dimension. The output has the same rank and x-vector as the $x$ input, -and consists of the linear fitted $y$ values. +or the x-vector of the $y$ input, and consists of the linear fitted $y$ values. The slope and intercept of the fitted line is available as a tooltip. \noindent\includegraphics[width=\textwidth]{images/linearRegression} +\subsubsection{Bulk Linear Regression}\label{Operation:bulkLinearRegression} + +This operation performs elementwise linear regression of the inputs +along a named dimension. The output has length along the named +dimension, reporting the slope and intercept of the fitted line, but +otherwise has the same dimensionality as the $x$ input. + \subsection{Switch} \label{SwitchIcon} diff --git a/ecolab b/ecolab index 1978fe1a9..a5ac164b7 160000 --- a/ecolab +++ b/ecolab @@ -1 +1 @@ -Subproject commit 1978fe1a9ed87cab07a3c250d7bf83f3cef0f327 +Subproject commit a5ac164b77bf25b24aa12678d23b522b20aa6f37 diff --git a/engine/derivative.cc b/engine/derivative.cc index e48a8ed58..4c3c06df9 100644 --- a/engine/derivative.cc +++ b/engine/derivative.cc @@ -650,6 +650,7 @@ namespace MathDAG VECTOR_DERIVATIVE_NOT_IMPLEMENTED(covariance) VECTOR_DERIVATIVE_NOT_IMPLEMENTED(correlation) VECTOR_DERIVATIVE_NOT_IMPLEMENTED(linearRegression) + VECTOR_DERIVATIVE_NOT_IMPLEMENTED(bulkLinearRegression) VECTOR_DERIVATIVE_NOT_IMPLEMENTED(sum) VECTOR_DERIVATIVE_NOT_IMPLEMENTED(product) VECTOR_DERIVATIVE_NOT_IMPLEMENTED(infimum) diff --git a/engine/equationDisplayRender.cc b/engine/equationDisplayRender.cc index 2c4a79ce5..55c0015c2 100644 --- a/engine/equationDisplayRender.cc +++ b/engine/equationDisplayRender.cc @@ -1009,7 +1009,7 @@ namespace MathDAG parenthesise(surf, [&](Surface& surf){ arguments[0][0]->render(surf); print(surf.cairo(),",",Anchor::nw); - arguments[0][1]->render(surf); + arguments[1][0]->render(surf); }); } else @@ -1026,7 +1026,7 @@ namespace MathDAG parenthesise(surf, [&](Surface& surf){ arguments[0][0]->render(surf); print(surf.cairo(),",",Anchor::nw); - arguments[0][1]->render(surf); + arguments[1][0]->render(surf); }); } else @@ -1043,7 +1043,24 @@ namespace MathDAG parenthesise(surf, [&](Surface& surf){ arguments[0][0]->render(surf); print(surf.cairo(),",",Anchor::nw); - arguments[0][1]->render(surf); + arguments[1][0]->render(surf); + }); + } + else + print(surf.cairo(),"0",Anchor::nw); + } + + template <> + void OperationDAG::render(Surface& surf) const + { + if (!arguments.empty() && !arguments[0].empty() && arguments[0][0] && + arguments.size()>1 && !arguments[1].empty() && arguments[1][0]) + { + print(surf.cairo(),"bLinReg",Anchor::nw); + parenthesise(surf, [&](Surface& surf){ + arguments[0][0]->render(surf); + print(surf.cairo(),",",Anchor::nw); + arguments[1][0]->render(surf); }); } else diff --git a/engine/minskyTensorOps.cc b/engine/minskyTensorOps.cc index 1b12d8487..6324df514 100644 --- a/engine/minskyTensorOps.cc +++ b/engine/minskyTensorOps.cc @@ -1111,8 +1111,7 @@ namespace minsky } }; - // OperationType template parameter is arbitrary, its going to be overridden anyway - template <> struct GeneralTensorOp: public ITensor, public OpState + struct LinearRegression: public ITensor, public OpState { TensorPtr x, y; std::size_t dimension; @@ -1151,11 +1150,9 @@ namespace minsky hypercube({}); return; } - m_index=y->index(); - hypercube(y->hypercube()); { - auto& xv=m_hypercube.xvectors; + auto& xv=y->hypercube().xvectors; dimension=rank()>1? rank(): 0; for (auto i=xv.begin(); i!=xv.end(); ++i) if (i->name==args.dimension) @@ -1171,7 +1168,7 @@ namespace minsky } else { - if (rank()>1 && dimension>=rank()) return; + if (rank()>1 && dimension>=y->rank()) return; // construct x from y's x-vector auto tv=make_shared(); spreadX=tv; @@ -1206,14 +1203,33 @@ namespace minsky assert(sumx.hypercube()==sumy.hypercube()); assert(sumx.index()==sumy.index()); - + this->x=spreadX; + this->y=y; scale.index(sumx.index()); scale.hypercube(sumx.hypercube()); offset.index(sumx.index()); offset.hypercube(sumx.hypercube()); + } - this->x=spreadX; - this->y=y; + civita::ITensor::Timestamp timestamp() const override { + if (!y) return {}; + if (!x) return y->timestamp(); + return std::max(x->timestamp(), y->timestamp()); + } + + + }; + + // OperationType template parameter is arbitrary, its going to be overridden anyway + template <> struct GeneralTensorOp: public LinearRegression + { + void setArguments(const TensorPtr& y, const TensorPtr& x, + const ITensor::Args& args) override + { + LinearRegression::setArguments(y,x,args); + if (!y) return; + hypercube(y->hypercube()); + m_index=y->index(); } double operator[](size_t i) const override @@ -1235,12 +1251,51 @@ namespace minsky return scale[0]* (*x)[i] + offset[0]; } - civita::ITensor::Timestamp timestamp() const override {return std::max(x->timestamp(), y->timestamp());} - + }; + + // OperationType template parameter is arbitrary, its going to be overridden anyway + template <> struct GeneralTensorOp: public LinearRegression + { + void setArguments(const TensorPtr& y, const TensorPtr& x, + const ITensor::Args& args) override + { + LinearRegression::setArguments(y,x,args); + if (!y) return; + if (dimension>=y->rank()) + throw_error("Need to specify axis"); + auto hc=y->hypercube(); + hc.xvectors[dimension]=civita::XVector("Linear Parameters",{},{"Slope","Intercept"}); + hypercube(hc); + m_index.clear(); + } + double operator[](size_t i) const override + { + if (rank()>1 && dimension>=rank()) + throw_error("Need to specify axis"); + if (!x) return nan(""); + assert(dimensionm_timestamp) computeScaleAndOffset(); + + size_t param=i, hcIdx=0; + if (dimension struct GeneralTensorOp: public civita::Average {}; template <> struct GeneralTensorOp: public civita::StdDeviation {}; diff --git a/engine/node_latex.cc b/engine/node_latex.cc index f51ff5dbf..43bb358c0 100644 --- a/engine/node_latex.cc +++ b/engine/node_latex.cc @@ -399,11 +399,21 @@ namespace MathDAG if (!arguments.empty() && !arguments[0].empty() && arguments[0][0] && arguments.size()>1 && !arguments[1].empty() && arguments[1][0]) return o<<"{\\mathrm{linReg}\\left("<latex()<< - ","<latex()<<"\\right)}"; return o<<"0"; } - + template <> + ostream& OperationDAG::latex(ostream& o) const + { + if (!arguments.empty() && !arguments[0].empty() && arguments[0][0] && + arguments.size()>1 && !arguments[1].empty() && arguments[1][0]) + return o<<"{\\mathrm{bLinReg}\\left("<latex()<< + ","<latex()<<"\\right)}"; + return o<<"0"; + } + + template <> ostream& OperationDAG::latex(ostream& o) const diff --git a/engine/node_matlab.cc b/engine/node_matlab.cc index b9e0cee2a..23d336289 100644 --- a/engine/node_matlab.cc +++ b/engine/node_matlab.cc @@ -351,6 +351,16 @@ namespace MathDAG return o<<"0"; } + template <> + ostream& OperationDAG::matlab(ostream& o) const + { + if (!arguments.empty() && !arguments[0].empty() && arguments[0][0] && + arguments.size()>1 && !arguments[1].empty() && arguments[1][0]) + return o<<"bLinReg("<matlab()<<"," << + arguments[1][0]->matlab()<<")"; + return o<<"0"; + } + template <> ostream& OperationDAG::matlab(ostream& o) const { diff --git a/gui-js/apps/minsky-electron/jest.config.ts b/gui-js/apps/minsky-electron/jest.config.ts index cc8503209..e9ff96a8d 100644 --- a/gui-js/apps/minsky-electron/jest.config.ts +++ b/gui-js/apps/minsky-electron/jest.config.ts @@ -1,17 +1,14 @@ /* eslint-disable */ +import { createRequire } from 'module'; +const require = createRequire(import.meta.url); + export default { displayName: 'minsky-electron', preset: '../../jest.preset.js', setupFilesAfterEnv: ['/src/test-setup.ts'], coverageDirectory: '../../coverage/apps/minsky-electron', transform: { - '^.+\\.(ts|mjs|js|html)$': [ - 'jest-preset-angular', - { - tsconfig: '/tsconfig.spec.json', - stringifyContentPathRegex: '\\.(html|svg)$', - }, - ], + '^.+\\.[tj]s$': require.resolve('ts-jest'), }, transformIgnorePatterns: ['node_modules/(?!.*\\.mjs$)'], snapshotSerializers: [ @@ -19,4 +16,4 @@ export default { 'jest-preset-angular/build/serializers/ng-snapshot', 'jest-preset-angular/build/serializers/html-comment', ], -}; \ No newline at end of file +}; diff --git a/gui-js/apps/minsky-electron/src/app/managers/HelpFilesManager.ts b/gui-js/apps/minsky-electron/src/app/managers/HelpFilesManager.ts index 15bc4acd6..ed8833d36 100644 --- a/gui-js/apps/minsky-electron/src/app/managers/HelpFilesManager.ts +++ b/gui-js/apps/minsky-electron/src/app/managers/HelpFilesManager.ts @@ -5,6 +5,7 @@ abstract class HelpFilesManager { private static topicNodeMap: Record = {}; public static getHelpFileForType(type: string): string { + console.log(this.topicNodeMap); if (type in this.topicNodeMap) { return this.topicNodeMap[type]; } @@ -46,7 +47,7 @@ abstract class HelpFilesManager { const buffer = await fsPromises.readFile(fName); if (buffer) { const contents = buffer.toString(); - const matches = contents.matchAll(/ ({ projects: await getJestProjectsAsync(), -}); \ No newline at end of file + // Add any global configurations here if needed + transform: { + '^.+\\.(ts|mjs|js|html)$': 'jest-preset-angular', + }, +}); diff --git a/gui-js/libs/core/src/lib/services/communication/communication.service.ts b/gui-js/libs/core/src/lib/services/communication/communication.service.ts index e7088cad5..d06661142 100644 --- a/gui-js/libs/core/src/lib/services/communication/communication.service.ts +++ b/gui-js/libs/core/src/lib/services/communication/communication.service.ts @@ -47,8 +47,7 @@ export class CommunicationService { currentTab = MainRenderingTabs.canvas as string; showPlayButton$ = new BehaviorSubject(true); - t = '0'; - deltaT = '0'; + tdt$ = new BehaviorSubject([0,0]); mouseX: number; mouseY: number; @@ -244,9 +243,7 @@ export class CommunicationService { } private async stepSimulation() { - const [t, deltaT] = (await this.electronService.minsky.step()); - - this.updateSimulationTime(t, deltaT); + this.updateSimulationTime(await this.electronService.minsky.step()); } private async initSimulation() { @@ -263,8 +260,7 @@ export class CommunicationService { private simulate() { setTimeout(async () => { if (!this.showPlayButton$.value) { - const [t, deltaT] = await this.electronService.minsky.step(); - this.updateSimulationTime(t, deltaT); + this.updateSimulationTime(await this.electronService.minsky.step()); this.simulate(); } }, this.delay); @@ -278,18 +274,15 @@ export class CommunicationService { const t = await this.electronService.minsky.t(); const deltaT = await this.electronService.minsky.deltaT(); - this.updateSimulationTime(t, deltaT); + this.updateSimulationTime([t, deltaT]); } - private updateSimulationTime(t: number, deltaT: number) { - if (Number(this.t) >= this.runUntilTime) { + private updateSimulationTime(tdt: number[]) { + if (Number(tdt[0]) >= this.runUntilTime) { this.showPlayButton$.next(true); } - this.t = t.toFixed(2); - - this.deltaT = deltaT.toFixed(2); - + this.tdt$.next(tdt); } private async resetZoom(centerX: number, centerY: number) { diff --git a/gui-js/libs/ui-components/src/lib/connect-database/connect-database.component.ts b/gui-js/libs/ui-components/src/lib/connect-database/connect-database.component.ts index 624a88aa1..0290920ec 100644 --- a/gui-js/libs/ui-components/src/lib/connect-database/connect-database.component.ts +++ b/gui-js/libs/ui-components/src/lib/connect-database/connect-database.component.ts @@ -45,6 +45,7 @@ export class ConnectDatabaseComponent { async getTables() { this.ravel.db.connect(this.dbType,this.connection,""); this.tables=await this.ravel.db.tableNames(); + this.cdRef.detectChanges(); } setTable(event: Event) { diff --git a/gui-js/libs/ui-components/src/lib/header/header.component.html b/gui-js/libs/ui-components/src/lib/header/header.component.html index ccaf7eeea..a80a29848 100644 --- a/gui-js/libs/ui-components/src/lib/header/header.component.html +++ b/gui-js/libs/ui-components/src/lib/header/header.component.html @@ -116,7 +116,7 @@
- t:{{ commService.t }} - Δt:{{ commService.deltaT }} + t:{{ t }} + Δt:{{ deltaT }}
diff --git a/gui-js/libs/ui-components/src/lib/header/header.component.ts b/gui-js/libs/ui-components/src/lib/header/header.component.ts index b2dc9f2ef..7d9b6f0bc 100644 --- a/gui-js/libs/ui-components/src/lib/header/header.component.ts +++ b/gui-js/libs/ui-components/src/lib/header/header.component.ts @@ -21,6 +21,8 @@ export class HeaderComponent implements OnInit, OnDestroy { isRecordingOn = false; isReplayRecordingOn = false; showPlayButton = false; + t = '0'; + deltaT = '0'; destroy$ = new Subject<{}>(); @@ -76,6 +78,11 @@ export class HeaderComponent implements OnInit, OnDestroy { this.changeDetectorRef.detectChanges(); }); + this.commService.tdt$.pipe(takeUntil(this.destroy$)).subscribe((tdt) => { + this.t=tdt[0].toFixed(2); + this.deltaT = tdt[1].toFixed(2); + this.changeDetectorRef.detectChanges(); + }); } } diff --git a/gui-js/libs/ui-components/src/lib/import-csv/import-csv.component.ts b/gui-js/libs/ui-components/src/lib/import-csv/import-csv.component.ts index 3e35ac0fe..179060ede 100644 --- a/gui-js/libs/ui-components/src/lib/import-csv/import-csv.component.ts +++ b/gui-js/libs/ui-components/src/lib/import-csv/import-csv.component.ts @@ -344,6 +344,7 @@ export class ImportCsvComponent extends Zoomable implements OnInit, AfterViewIni this.fileLoaded = true; this.selectedTabIndex = selectTab; + this.cdr.detectChanges(); } setParameterNameFromUrl() { diff --git a/gui-js/libs/ui-components/src/lib/new-database/new-database.component.ts b/gui-js/libs/ui-components/src/lib/new-database/new-database.component.ts index 1fd561438..56d5f8121 100644 --- a/gui-js/libs/ui-components/src/lib/new-database/new-database.component.ts +++ b/gui-js/libs/ui-components/src/lib/new-database/new-database.component.ts @@ -35,6 +35,7 @@ export class NewDatabaseComponent { async ngOnInit() { this.backends=await this.electronService.minsky.databaseIngestor.db.backends(); + this.cdRef.detectChanges(); } setDbType(event) { diff --git a/gui-js/minsky-docs/Ravel/Ravel.css b/gui-js/minsky-docs/Ravel/Ravel.css index d1824aff4..06140ae59 100644 --- a/gui-js/minsky-docs/Ravel/Ravel.css +++ b/gui-js/minsky-docs/Ravel/Ravel.css @@ -2,18 +2,42 @@ .MATH { font-family: "Century Schoolbook", serif; } .MATH I { font-family: "Century Schoolbook", serif; font-style: italic } .BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold } +SPAN.MATH { display:inline-block; } /* don't stretch spaces inside eqn */ + +DIV.author_info { text-align:center; } /* latex centers author */ + +.LEFT { text-align:left; } +.FLOATLEFT { float:left; } +.CENTER { text-align:center; } +.CENTER > * { margin:auto; } +.RIGHT { text-align:right; } +.FLOATRIGHT { float:right; } +.TOP { vertical-align:top; } +.MIDDLE { vertical-align:middle; } +.BOTTOM { vertical-align:bottom; } + +IMG.LEFT { float:left; } +IMG.RIGHT { float:right; } +IMG.TOP { vertical-align:top; } +IMG.BOTTOM { vertical-align:baseline; } + +/* captions for latex tables and figures appear at bottom */ +CAPTION { caption-side:bottom; } + +DL.COMPACT > dt { float:left; padding-right: 1em; } +BODY { width:95%; max-width:50em; margin:auto; } /* implement both fixed-size and relative sizes */ -SMALL.XTINY { font-size : xx-small } -SMALL.TINY { font-size : x-small } -SMALL.SCRIPTSIZE { font-size : smaller } -SMALL.FOOTNOTESIZE { font-size : small } -SMALL.SMALL { } -BIG.LARGE { } -BIG.XLARGE { font-size : large } -BIG.XXLARGE { font-size : x-large } -BIG.HUGE { font-size : larger } -BIG.XHUGE { font-size : xx-large } +.XTINY { font-size : xx-small } +.TINY { font-size : x-small } +.SCRIPTSIZE { font-size : smaller } +.FOOTNOTESIZE { font-size : small } +.SMALL { font-size : small } +.LARGE { font-size : large } +.XLARGE { font-size : large } +.XXLARGE { font-size : x-large } +.HUGE { font-size : larger } +.XHUGE { font-size : xx-large } /* heading styles */ H1 { } @@ -23,8 +47,16 @@ H4 { } H5 { } /* mathematics styles */ -DIV.displaymath { } /* math displays */ -TD.eqno { } /* equation-number cells */ - +DIV.displaymath { text-align:center; margin-top:1em; margin-bottom:1em; } + /* math displays: margins for \abovedisplayskip \belowdisplayskip */ +TD.eqno { width:0; } /* equation-number cells */ +TD.lfill { text-align:left; width:50%; } +TD.rfill { text-align:right; width:50%; } +TABLE.PAD TD { padding:3px; } +TABLE.BORDER TD { border:1px solid black; } +TABLE.equation { width:100%; } /* place eq nos at right/left edge */ +TABLE.equation > * { vertical-align:baseline; } +TABLE.equation TD { white-space:nowrap; padding-bottom:5px; } +TABLE { border-collapse: collapse; } /* document-specific styles come next */ diff --git a/gui-js/minsky-docs/Ravel/Ravel.html b/gui-js/minsky-docs/Ravel/Ravel.html index f77709a02..d2353c0ea 100644 --- a/gui-js/minsky-docs/Ravel/Ravel.html +++ b/gui-js/minsky-docs/Ravel/Ravel.html @@ -1,16 +1,12 @@ - - + + Minsky Simulation Engine - - - - - - + + @@ -19,14 +15,14 @@ - -next -up -previous + +next +up +previous
- Next: Introduction + Next: Introduction

@@ -34,581 +30,583 @@


- +
-
  • User defined functions -
    diff --git a/gui-js/minsky-docs/Ravel/img1.png b/gui-js/minsky-docs/Ravel/img1.png index c45c1b102..638df1e78 100644 Binary files a/gui-js/minsky-docs/Ravel/img1.png and b/gui-js/minsky-docs/Ravel/img1.png differ diff --git a/gui-js/minsky-docs/Ravel/img10.png b/gui-js/minsky-docs/Ravel/img10.png index f3ed3149d..6b4b5effc 100644 Binary files a/gui-js/minsky-docs/Ravel/img10.png and b/gui-js/minsky-docs/Ravel/img10.png differ diff --git a/gui-js/minsky-docs/Ravel/img100.png b/gui-js/minsky-docs/Ravel/img100.png index e9fbe3a98..f3458d5fe 100644 Binary files a/gui-js/minsky-docs/Ravel/img100.png and b/gui-js/minsky-docs/Ravel/img100.png differ diff --git a/gui-js/minsky-docs/Ravel/img101.png b/gui-js/minsky-docs/Ravel/img101.png index 25a7144ea..c59be587a 100644 Binary files a/gui-js/minsky-docs/Ravel/img101.png and b/gui-js/minsky-docs/Ravel/img101.png differ diff --git a/gui-js/minsky-docs/Ravel/img102.png b/gui-js/minsky-docs/Ravel/img102.png index a6cb1a27f..70b78f8a4 100644 Binary files a/gui-js/minsky-docs/Ravel/img102.png and b/gui-js/minsky-docs/Ravel/img102.png differ diff --git a/gui-js/minsky-docs/Ravel/img103.png b/gui-js/minsky-docs/Ravel/img103.png index 1a190d082..97930d21a 100644 Binary files a/gui-js/minsky-docs/Ravel/img103.png and b/gui-js/minsky-docs/Ravel/img103.png differ diff --git a/gui-js/minsky-docs/Ravel/img104.png b/gui-js/minsky-docs/Ravel/img104.png index 680f3b3ed..48cc6b66d 100644 Binary files a/gui-js/minsky-docs/Ravel/img104.png and b/gui-js/minsky-docs/Ravel/img104.png differ diff --git a/gui-js/minsky-docs/Ravel/img105.png b/gui-js/minsky-docs/Ravel/img105.png index 478dd28e6..ec4f2dc88 100644 Binary files a/gui-js/minsky-docs/Ravel/img105.png and b/gui-js/minsky-docs/Ravel/img105.png differ diff --git a/gui-js/minsky-docs/Ravel/img106.png b/gui-js/minsky-docs/Ravel/img106.png index 9b93bace8..ae1d3c455 100644 Binary files a/gui-js/minsky-docs/Ravel/img106.png and b/gui-js/minsky-docs/Ravel/img106.png differ diff --git a/gui-js/minsky-docs/Ravel/img107.png b/gui-js/minsky-docs/Ravel/img107.png index eae7e26cc..07fa973c0 100644 Binary files a/gui-js/minsky-docs/Ravel/img107.png and b/gui-js/minsky-docs/Ravel/img107.png differ diff --git a/gui-js/minsky-docs/Ravel/img108.png b/gui-js/minsky-docs/Ravel/img108.png index 30111f71f..d228a8f42 100644 Binary files a/gui-js/minsky-docs/Ravel/img108.png and b/gui-js/minsky-docs/Ravel/img108.png differ diff --git a/gui-js/minsky-docs/Ravel/img109.png b/gui-js/minsky-docs/Ravel/img109.png index a993611a2..a9731759d 100644 Binary files a/gui-js/minsky-docs/Ravel/img109.png and b/gui-js/minsky-docs/Ravel/img109.png differ diff --git a/gui-js/minsky-docs/Ravel/img11.png b/gui-js/minsky-docs/Ravel/img11.png index 138525775..fe95fd65c 100644 Binary files a/gui-js/minsky-docs/Ravel/img11.png and b/gui-js/minsky-docs/Ravel/img11.png differ diff --git a/gui-js/minsky-docs/Ravel/img110.png b/gui-js/minsky-docs/Ravel/img110.png index 9cc6f2b84..6da97bbc1 100644 Binary files a/gui-js/minsky-docs/Ravel/img110.png and b/gui-js/minsky-docs/Ravel/img110.png differ diff --git a/gui-js/minsky-docs/Ravel/img111.png b/gui-js/minsky-docs/Ravel/img111.png index 2be6175cd..9776611b8 100644 Binary files a/gui-js/minsky-docs/Ravel/img111.png and b/gui-js/minsky-docs/Ravel/img111.png differ diff --git a/gui-js/minsky-docs/Ravel/img112.png b/gui-js/minsky-docs/Ravel/img112.png index a10d8a39b..cd26752d3 100644 Binary files a/gui-js/minsky-docs/Ravel/img112.png and b/gui-js/minsky-docs/Ravel/img112.png differ diff --git a/gui-js/minsky-docs/Ravel/img113.png b/gui-js/minsky-docs/Ravel/img113.png index aeecfe736..0f3da5cd3 100644 Binary files a/gui-js/minsky-docs/Ravel/img113.png and b/gui-js/minsky-docs/Ravel/img113.png differ diff --git a/gui-js/minsky-docs/Ravel/img114.png b/gui-js/minsky-docs/Ravel/img114.png index def5b790a..8d0dc6242 100644 Binary files a/gui-js/minsky-docs/Ravel/img114.png and b/gui-js/minsky-docs/Ravel/img114.png differ diff --git a/gui-js/minsky-docs/Ravel/img115.png b/gui-js/minsky-docs/Ravel/img115.png index ac7e1659b..6bfa19d42 100644 Binary files a/gui-js/minsky-docs/Ravel/img115.png and b/gui-js/minsky-docs/Ravel/img115.png differ diff --git a/gui-js/minsky-docs/Ravel/img116.png b/gui-js/minsky-docs/Ravel/img116.png index c363202bb..617f2f268 100644 Binary files a/gui-js/minsky-docs/Ravel/img116.png and b/gui-js/minsky-docs/Ravel/img116.png differ diff --git a/gui-js/minsky-docs/Ravel/img117.png b/gui-js/minsky-docs/Ravel/img117.png index df235f75b..41adcca90 100644 Binary files a/gui-js/minsky-docs/Ravel/img117.png and b/gui-js/minsky-docs/Ravel/img117.png differ diff --git a/gui-js/minsky-docs/Ravel/img118.png b/gui-js/minsky-docs/Ravel/img118.png index a8cb8bb92..69c439da8 100644 Binary files a/gui-js/minsky-docs/Ravel/img118.png and b/gui-js/minsky-docs/Ravel/img118.png differ diff --git a/gui-js/minsky-docs/Ravel/img119.png b/gui-js/minsky-docs/Ravel/img119.png index 4078ec53e..dfcab5295 100644 Binary files a/gui-js/minsky-docs/Ravel/img119.png and b/gui-js/minsky-docs/Ravel/img119.png differ diff --git a/gui-js/minsky-docs/Ravel/img12.png b/gui-js/minsky-docs/Ravel/img12.png index 2c7e3d679..1aaa12ac9 100644 Binary files a/gui-js/minsky-docs/Ravel/img12.png and b/gui-js/minsky-docs/Ravel/img12.png differ diff --git a/gui-js/minsky-docs/Ravel/img120.png b/gui-js/minsky-docs/Ravel/img120.png index 35cb98d69..651dca750 100644 Binary files a/gui-js/minsky-docs/Ravel/img120.png and b/gui-js/minsky-docs/Ravel/img120.png differ diff --git a/gui-js/minsky-docs/Ravel/img121.png b/gui-js/minsky-docs/Ravel/img121.png index 0de38d2a3..7b8a11f8c 100644 Binary files a/gui-js/minsky-docs/Ravel/img121.png and b/gui-js/minsky-docs/Ravel/img121.png differ diff --git a/gui-js/minsky-docs/Ravel/img122.png b/gui-js/minsky-docs/Ravel/img122.png index 60e2ae0c5..0df27f716 100644 Binary files a/gui-js/minsky-docs/Ravel/img122.png and b/gui-js/minsky-docs/Ravel/img122.png differ diff --git a/gui-js/minsky-docs/Ravel/img123.png b/gui-js/minsky-docs/Ravel/img123.png index 7d3f70b4a..680c07767 100644 Binary files a/gui-js/minsky-docs/Ravel/img123.png and b/gui-js/minsky-docs/Ravel/img123.png differ diff --git a/gui-js/minsky-docs/Ravel/img124.png b/gui-js/minsky-docs/Ravel/img124.png index f7f181bb0..8bd87dab3 100644 Binary files a/gui-js/minsky-docs/Ravel/img124.png and b/gui-js/minsky-docs/Ravel/img124.png differ diff --git a/gui-js/minsky-docs/Ravel/img125.png b/gui-js/minsky-docs/Ravel/img125.png index 3a9be7fcf..44d13173a 100644 Binary files a/gui-js/minsky-docs/Ravel/img125.png and b/gui-js/minsky-docs/Ravel/img125.png differ diff --git a/gui-js/minsky-docs/Ravel/img126.png b/gui-js/minsky-docs/Ravel/img126.png index ebb44b607..88cc892db 100644 Binary files a/gui-js/minsky-docs/Ravel/img126.png and b/gui-js/minsky-docs/Ravel/img126.png differ diff --git a/gui-js/minsky-docs/Ravel/img127.png b/gui-js/minsky-docs/Ravel/img127.png index 7b975c626..9fbbc6007 100644 Binary files a/gui-js/minsky-docs/Ravel/img127.png and b/gui-js/minsky-docs/Ravel/img127.png differ diff --git a/gui-js/minsky-docs/Ravel/img128.png b/gui-js/minsky-docs/Ravel/img128.png index 55ffdb4d5..1a8900acf 100644 Binary files a/gui-js/minsky-docs/Ravel/img128.png and b/gui-js/minsky-docs/Ravel/img128.png differ diff --git a/gui-js/minsky-docs/Ravel/img129.png b/gui-js/minsky-docs/Ravel/img129.png index 0c7a6948c..b2803727b 100644 Binary files a/gui-js/minsky-docs/Ravel/img129.png and b/gui-js/minsky-docs/Ravel/img129.png differ diff --git a/gui-js/minsky-docs/Ravel/img13.png b/gui-js/minsky-docs/Ravel/img13.png index debfa3d6d..489ad54ad 100644 Binary files a/gui-js/minsky-docs/Ravel/img13.png and b/gui-js/minsky-docs/Ravel/img13.png differ diff --git a/gui-js/minsky-docs/Ravel/img130.png b/gui-js/minsky-docs/Ravel/img130.png index 397dcb78f..71bfdaadb 100644 Binary files a/gui-js/minsky-docs/Ravel/img130.png and b/gui-js/minsky-docs/Ravel/img130.png differ diff --git a/gui-js/minsky-docs/Ravel/img131.png b/gui-js/minsky-docs/Ravel/img131.png index ced2d9228..45a2d56c8 100644 Binary files a/gui-js/minsky-docs/Ravel/img131.png and b/gui-js/minsky-docs/Ravel/img131.png differ diff --git a/gui-js/minsky-docs/Ravel/img132.png b/gui-js/minsky-docs/Ravel/img132.png index 41f2574ae..b2620a4f9 100644 Binary files a/gui-js/minsky-docs/Ravel/img132.png and b/gui-js/minsky-docs/Ravel/img132.png differ diff --git a/gui-js/minsky-docs/Ravel/img133.png b/gui-js/minsky-docs/Ravel/img133.png index d1ab544f7..b1c8a97f5 100644 Binary files a/gui-js/minsky-docs/Ravel/img133.png and b/gui-js/minsky-docs/Ravel/img133.png differ diff --git a/gui-js/minsky-docs/Ravel/img134.png b/gui-js/minsky-docs/Ravel/img134.png index 51ee60201..771605978 100644 Binary files a/gui-js/minsky-docs/Ravel/img134.png and b/gui-js/minsky-docs/Ravel/img134.png differ diff --git a/gui-js/minsky-docs/Ravel/img135.png b/gui-js/minsky-docs/Ravel/img135.png index 6a15d85a3..7aac9e0a9 100644 Binary files a/gui-js/minsky-docs/Ravel/img135.png and b/gui-js/minsky-docs/Ravel/img135.png differ diff --git a/gui-js/minsky-docs/Ravel/img136.png b/gui-js/minsky-docs/Ravel/img136.png index fa8e8ca86..c48425a5a 100644 Binary files a/gui-js/minsky-docs/Ravel/img136.png and b/gui-js/minsky-docs/Ravel/img136.png differ diff --git a/gui-js/minsky-docs/Ravel/img137.png b/gui-js/minsky-docs/Ravel/img137.png index a1275a1d5..b4bafed89 100644 Binary files a/gui-js/minsky-docs/Ravel/img137.png and b/gui-js/minsky-docs/Ravel/img137.png differ diff --git a/gui-js/minsky-docs/Ravel/img138.png b/gui-js/minsky-docs/Ravel/img138.png index fc0027161..6b09b7ee8 100644 Binary files a/gui-js/minsky-docs/Ravel/img138.png and b/gui-js/minsky-docs/Ravel/img138.png differ diff --git a/gui-js/minsky-docs/Ravel/img139.png b/gui-js/minsky-docs/Ravel/img139.png index 242f56f93..3c8f072dc 100644 Binary files a/gui-js/minsky-docs/Ravel/img139.png and b/gui-js/minsky-docs/Ravel/img139.png differ diff --git a/gui-js/minsky-docs/Ravel/img14.png b/gui-js/minsky-docs/Ravel/img14.png index 7224b88ec..2d2dc2a71 100644 Binary files a/gui-js/minsky-docs/Ravel/img14.png and b/gui-js/minsky-docs/Ravel/img14.png differ diff --git a/gui-js/minsky-docs/Ravel/img140.png b/gui-js/minsky-docs/Ravel/img140.png index 688c83bd2..e426c55b4 100644 Binary files a/gui-js/minsky-docs/Ravel/img140.png and b/gui-js/minsky-docs/Ravel/img140.png differ diff --git a/gui-js/minsky-docs/Ravel/img141.png b/gui-js/minsky-docs/Ravel/img141.png index b0eaa4e29..2edb8f98b 100644 Binary files a/gui-js/minsky-docs/Ravel/img141.png and b/gui-js/minsky-docs/Ravel/img141.png differ diff --git a/gui-js/minsky-docs/Ravel/img142.png b/gui-js/minsky-docs/Ravel/img142.png index 387340c42..de3e3ec16 100644 Binary files a/gui-js/minsky-docs/Ravel/img142.png and b/gui-js/minsky-docs/Ravel/img142.png differ diff --git a/gui-js/minsky-docs/Ravel/img143.png b/gui-js/minsky-docs/Ravel/img143.png index 7bd42f13b..896e8dc13 100644 Binary files a/gui-js/minsky-docs/Ravel/img143.png and b/gui-js/minsky-docs/Ravel/img143.png differ diff --git a/gui-js/minsky-docs/Ravel/img144.png b/gui-js/minsky-docs/Ravel/img144.png index 922b333e2..40acb141c 100644 Binary files a/gui-js/minsky-docs/Ravel/img144.png and b/gui-js/minsky-docs/Ravel/img144.png differ diff --git a/gui-js/minsky-docs/Ravel/img145.png b/gui-js/minsky-docs/Ravel/img145.png index 7d7074757..fa6b15ed6 100644 Binary files a/gui-js/minsky-docs/Ravel/img145.png and b/gui-js/minsky-docs/Ravel/img145.png differ diff --git a/gui-js/minsky-docs/Ravel/img146.png b/gui-js/minsky-docs/Ravel/img146.png index 9f317a7d1..ea49ee4ab 100644 Binary files a/gui-js/minsky-docs/Ravel/img146.png and b/gui-js/minsky-docs/Ravel/img146.png differ diff --git a/gui-js/minsky-docs/Ravel/img147.png b/gui-js/minsky-docs/Ravel/img147.png index ffa63aa44..af5a6747a 100644 Binary files a/gui-js/minsky-docs/Ravel/img147.png and b/gui-js/minsky-docs/Ravel/img147.png differ diff --git a/gui-js/minsky-docs/Ravel/img148.png b/gui-js/minsky-docs/Ravel/img148.png index aae4b9f91..2cdbd2146 100644 Binary files a/gui-js/minsky-docs/Ravel/img148.png and b/gui-js/minsky-docs/Ravel/img148.png differ diff --git a/gui-js/minsky-docs/Ravel/img149.png b/gui-js/minsky-docs/Ravel/img149.png index 871684e0f..c71249012 100644 Binary files a/gui-js/minsky-docs/Ravel/img149.png and b/gui-js/minsky-docs/Ravel/img149.png differ diff --git a/gui-js/minsky-docs/Ravel/img15.png b/gui-js/minsky-docs/Ravel/img15.png index b9b1587b9..844241c33 100644 Binary files a/gui-js/minsky-docs/Ravel/img15.png and b/gui-js/minsky-docs/Ravel/img15.png differ diff --git a/gui-js/minsky-docs/Ravel/img150.png b/gui-js/minsky-docs/Ravel/img150.png index 98a4e1ee5..4bfc5001f 100644 Binary files a/gui-js/minsky-docs/Ravel/img150.png and b/gui-js/minsky-docs/Ravel/img150.png differ diff --git a/gui-js/minsky-docs/Ravel/img151.png b/gui-js/minsky-docs/Ravel/img151.png index 087920ed3..2546975c1 100644 Binary files a/gui-js/minsky-docs/Ravel/img151.png and b/gui-js/minsky-docs/Ravel/img151.png differ diff --git a/gui-js/minsky-docs/Ravel/img152.png b/gui-js/minsky-docs/Ravel/img152.png index a8f6d0514..89d5c7874 100644 Binary files a/gui-js/minsky-docs/Ravel/img152.png and b/gui-js/minsky-docs/Ravel/img152.png differ diff --git a/gui-js/minsky-docs/Ravel/img153.png b/gui-js/minsky-docs/Ravel/img153.png index e808a7ea6..b4e541126 100644 Binary files a/gui-js/minsky-docs/Ravel/img153.png and b/gui-js/minsky-docs/Ravel/img153.png differ diff --git a/gui-js/minsky-docs/Ravel/img154.png b/gui-js/minsky-docs/Ravel/img154.png index fde7d5007..281788e97 100644 Binary files a/gui-js/minsky-docs/Ravel/img154.png and b/gui-js/minsky-docs/Ravel/img154.png differ diff --git a/gui-js/minsky-docs/Ravel/img155.png b/gui-js/minsky-docs/Ravel/img155.png index 0dc72fcdd..bf5903044 100644 Binary files a/gui-js/minsky-docs/Ravel/img155.png and b/gui-js/minsky-docs/Ravel/img155.png differ diff --git a/gui-js/minsky-docs/Ravel/img156.png b/gui-js/minsky-docs/Ravel/img156.png index a6af3a0d0..14b25d57d 100644 Binary files a/gui-js/minsky-docs/Ravel/img156.png and b/gui-js/minsky-docs/Ravel/img156.png differ diff --git a/gui-js/minsky-docs/Ravel/img157.png b/gui-js/minsky-docs/Ravel/img157.png index 0d1b3cce4..42d4a7634 100644 Binary files a/gui-js/minsky-docs/Ravel/img157.png and b/gui-js/minsky-docs/Ravel/img157.png differ diff --git a/gui-js/minsky-docs/Ravel/img158.png b/gui-js/minsky-docs/Ravel/img158.png index 00a3ba707..272bda448 100644 Binary files a/gui-js/minsky-docs/Ravel/img158.png and b/gui-js/minsky-docs/Ravel/img158.png differ diff --git a/gui-js/minsky-docs/Ravel/img159.png b/gui-js/minsky-docs/Ravel/img159.png index fe4f7399a..7264f3a72 100644 Binary files a/gui-js/minsky-docs/Ravel/img159.png and b/gui-js/minsky-docs/Ravel/img159.png differ diff --git a/gui-js/minsky-docs/Ravel/img16.png b/gui-js/minsky-docs/Ravel/img16.png index bd7ed6e91..9f3eaf6e3 100644 Binary files a/gui-js/minsky-docs/Ravel/img16.png and b/gui-js/minsky-docs/Ravel/img16.png differ diff --git a/gui-js/minsky-docs/Ravel/img160.png b/gui-js/minsky-docs/Ravel/img160.png index 75455fd54..d78315c30 100644 Binary files a/gui-js/minsky-docs/Ravel/img160.png and b/gui-js/minsky-docs/Ravel/img160.png differ diff --git a/gui-js/minsky-docs/Ravel/img161.png b/gui-js/minsky-docs/Ravel/img161.png index 25c6b15a3..9d413532a 100644 Binary files a/gui-js/minsky-docs/Ravel/img161.png and b/gui-js/minsky-docs/Ravel/img161.png differ diff --git a/gui-js/minsky-docs/Ravel/img162.png b/gui-js/minsky-docs/Ravel/img162.png index 523903fa3..dd694c671 100644 Binary files a/gui-js/minsky-docs/Ravel/img162.png and b/gui-js/minsky-docs/Ravel/img162.png differ diff --git a/gui-js/minsky-docs/Ravel/img163.png b/gui-js/minsky-docs/Ravel/img163.png index 348dab50f..28b25ea53 100644 Binary files a/gui-js/minsky-docs/Ravel/img163.png and b/gui-js/minsky-docs/Ravel/img163.png differ diff --git a/gui-js/minsky-docs/Ravel/img164.png b/gui-js/minsky-docs/Ravel/img164.png index 1d418825e..ae75708f3 100644 Binary files a/gui-js/minsky-docs/Ravel/img164.png and b/gui-js/minsky-docs/Ravel/img164.png differ diff --git a/gui-js/minsky-docs/Ravel/img165.png b/gui-js/minsky-docs/Ravel/img165.png index e190870de..70f4dfa9a 100644 Binary files a/gui-js/minsky-docs/Ravel/img165.png and b/gui-js/minsky-docs/Ravel/img165.png differ diff --git a/gui-js/minsky-docs/Ravel/img166.png b/gui-js/minsky-docs/Ravel/img166.png index 3b9471208..a7c61be08 100644 Binary files a/gui-js/minsky-docs/Ravel/img166.png and b/gui-js/minsky-docs/Ravel/img166.png differ diff --git a/gui-js/minsky-docs/Ravel/img167.png b/gui-js/minsky-docs/Ravel/img167.png index ff859d1ba..4246da21e 100644 Binary files a/gui-js/minsky-docs/Ravel/img167.png and b/gui-js/minsky-docs/Ravel/img167.png differ diff --git a/gui-js/minsky-docs/Ravel/img168.png b/gui-js/minsky-docs/Ravel/img168.png index e125dffa3..28233ba3b 100644 Binary files a/gui-js/minsky-docs/Ravel/img168.png and b/gui-js/minsky-docs/Ravel/img168.png differ diff --git a/gui-js/minsky-docs/Ravel/img169.png b/gui-js/minsky-docs/Ravel/img169.png index aceb7a83b..f318172f4 100644 Binary files a/gui-js/minsky-docs/Ravel/img169.png and b/gui-js/minsky-docs/Ravel/img169.png differ diff --git a/gui-js/minsky-docs/Ravel/img17.png b/gui-js/minsky-docs/Ravel/img17.png index 7be11decf..1e7986a97 100644 Binary files a/gui-js/minsky-docs/Ravel/img17.png and b/gui-js/minsky-docs/Ravel/img17.png differ diff --git a/gui-js/minsky-docs/Ravel/img170.png b/gui-js/minsky-docs/Ravel/img170.png index 84f6920e5..2850c7667 100644 Binary files a/gui-js/minsky-docs/Ravel/img170.png and b/gui-js/minsky-docs/Ravel/img170.png differ diff --git a/gui-js/minsky-docs/Ravel/img171.png b/gui-js/minsky-docs/Ravel/img171.png index 765cc764f..a7d11a3f5 100644 Binary files a/gui-js/minsky-docs/Ravel/img171.png and b/gui-js/minsky-docs/Ravel/img171.png differ diff --git a/gui-js/minsky-docs/Ravel/img172.png b/gui-js/minsky-docs/Ravel/img172.png index 73291c8c1..dc61e9cd1 100644 Binary files a/gui-js/minsky-docs/Ravel/img172.png and b/gui-js/minsky-docs/Ravel/img172.png differ diff --git a/gui-js/minsky-docs/Ravel/img173.png b/gui-js/minsky-docs/Ravel/img173.png index 61e5c5ed2..44c8d5e4e 100644 Binary files a/gui-js/minsky-docs/Ravel/img173.png and b/gui-js/minsky-docs/Ravel/img173.png differ diff --git a/gui-js/minsky-docs/Ravel/img174.png b/gui-js/minsky-docs/Ravel/img174.png index 9a9514a51..e76a903a9 100644 Binary files a/gui-js/minsky-docs/Ravel/img174.png and b/gui-js/minsky-docs/Ravel/img174.png differ diff --git a/gui-js/minsky-docs/Ravel/img175.png b/gui-js/minsky-docs/Ravel/img175.png index b6d8d725f..96835a89e 100644 Binary files a/gui-js/minsky-docs/Ravel/img175.png and b/gui-js/minsky-docs/Ravel/img175.png differ diff --git a/gui-js/minsky-docs/Ravel/img176.png b/gui-js/minsky-docs/Ravel/img176.png index 803a8fca2..55ae358de 100644 Binary files a/gui-js/minsky-docs/Ravel/img176.png and b/gui-js/minsky-docs/Ravel/img176.png differ diff --git a/gui-js/minsky-docs/Ravel/img177.png b/gui-js/minsky-docs/Ravel/img177.png index 34fd52508..3f3070a85 100644 Binary files a/gui-js/minsky-docs/Ravel/img177.png and b/gui-js/minsky-docs/Ravel/img177.png differ diff --git a/gui-js/minsky-docs/Ravel/img178.png b/gui-js/minsky-docs/Ravel/img178.png index e08c19e2c..577f44095 100644 Binary files a/gui-js/minsky-docs/Ravel/img178.png and b/gui-js/minsky-docs/Ravel/img178.png differ diff --git a/gui-js/minsky-docs/Ravel/img179.png b/gui-js/minsky-docs/Ravel/img179.png index 10ab3b18a..f4b70aead 100644 Binary files a/gui-js/minsky-docs/Ravel/img179.png and b/gui-js/minsky-docs/Ravel/img179.png differ diff --git a/gui-js/minsky-docs/Ravel/img18.png b/gui-js/minsky-docs/Ravel/img18.png index 0fa29c5c9..78c6902a9 100644 Binary files a/gui-js/minsky-docs/Ravel/img18.png and b/gui-js/minsky-docs/Ravel/img18.png differ diff --git a/gui-js/minsky-docs/Ravel/img180.png b/gui-js/minsky-docs/Ravel/img180.png index 8019c000f..2b7a67c2e 100644 Binary files a/gui-js/minsky-docs/Ravel/img180.png and b/gui-js/minsky-docs/Ravel/img180.png differ diff --git a/gui-js/minsky-docs/Ravel/img181.png b/gui-js/minsky-docs/Ravel/img181.png index 0898401a4..175878444 100644 Binary files a/gui-js/minsky-docs/Ravel/img181.png and b/gui-js/minsky-docs/Ravel/img181.png differ diff --git a/gui-js/minsky-docs/Ravel/img182.png b/gui-js/minsky-docs/Ravel/img182.png index 264349269..d5e94a514 100644 Binary files a/gui-js/minsky-docs/Ravel/img182.png and b/gui-js/minsky-docs/Ravel/img182.png differ diff --git a/gui-js/minsky-docs/Ravel/img183.png b/gui-js/minsky-docs/Ravel/img183.png index 6ca0b423b..d65c932b9 100644 Binary files a/gui-js/minsky-docs/Ravel/img183.png and b/gui-js/minsky-docs/Ravel/img183.png differ diff --git a/gui-js/minsky-docs/Ravel/img184.png b/gui-js/minsky-docs/Ravel/img184.png index 357b1d7aa..80c6c3c41 100644 Binary files a/gui-js/minsky-docs/Ravel/img184.png and b/gui-js/minsky-docs/Ravel/img184.png differ diff --git a/gui-js/minsky-docs/Ravel/img185.png b/gui-js/minsky-docs/Ravel/img185.png index 8e8823f6d..c62c2b000 100644 Binary files a/gui-js/minsky-docs/Ravel/img185.png and b/gui-js/minsky-docs/Ravel/img185.png differ diff --git a/gui-js/minsky-docs/Ravel/img186.png b/gui-js/minsky-docs/Ravel/img186.png index dbb322077..2af6a77e9 100644 Binary files a/gui-js/minsky-docs/Ravel/img186.png and b/gui-js/minsky-docs/Ravel/img186.png differ diff --git a/gui-js/minsky-docs/Ravel/img187.png b/gui-js/minsky-docs/Ravel/img187.png index 1a08d0a09..f7e6a9660 100644 Binary files a/gui-js/minsky-docs/Ravel/img187.png and b/gui-js/minsky-docs/Ravel/img187.png differ diff --git a/gui-js/minsky-docs/Ravel/img188.png b/gui-js/minsky-docs/Ravel/img188.png index 9cf683d77..8e1339394 100644 Binary files a/gui-js/minsky-docs/Ravel/img188.png and b/gui-js/minsky-docs/Ravel/img188.png differ diff --git a/gui-js/minsky-docs/Ravel/img189.png b/gui-js/minsky-docs/Ravel/img189.png index 7d2a3aee7..415590af7 100644 Binary files a/gui-js/minsky-docs/Ravel/img189.png and b/gui-js/minsky-docs/Ravel/img189.png differ diff --git a/gui-js/minsky-docs/Ravel/img19.png b/gui-js/minsky-docs/Ravel/img19.png index 39639e199..e654055e1 100644 Binary files a/gui-js/minsky-docs/Ravel/img19.png and b/gui-js/minsky-docs/Ravel/img19.png differ diff --git a/gui-js/minsky-docs/Ravel/img190.png b/gui-js/minsky-docs/Ravel/img190.png index 760ca33de..0b7da0731 100644 Binary files a/gui-js/minsky-docs/Ravel/img190.png and b/gui-js/minsky-docs/Ravel/img190.png differ diff --git a/gui-js/minsky-docs/Ravel/img191.png b/gui-js/minsky-docs/Ravel/img191.png index a796e12d3..8f6ae39ea 100644 Binary files a/gui-js/minsky-docs/Ravel/img191.png and b/gui-js/minsky-docs/Ravel/img191.png differ diff --git a/gui-js/minsky-docs/Ravel/img192.png b/gui-js/minsky-docs/Ravel/img192.png index fa6f5e998..0cf91a900 100644 Binary files a/gui-js/minsky-docs/Ravel/img192.png and b/gui-js/minsky-docs/Ravel/img192.png differ diff --git a/gui-js/minsky-docs/Ravel/img193.png b/gui-js/minsky-docs/Ravel/img193.png index 7ae0cc0af..8b14ca1cd 100644 Binary files a/gui-js/minsky-docs/Ravel/img193.png and b/gui-js/minsky-docs/Ravel/img193.png differ diff --git a/gui-js/minsky-docs/Ravel/img194.png b/gui-js/minsky-docs/Ravel/img194.png index e9a983311..0b8d0cddb 100644 Binary files a/gui-js/minsky-docs/Ravel/img194.png and b/gui-js/minsky-docs/Ravel/img194.png differ diff --git a/gui-js/minsky-docs/Ravel/img195.png b/gui-js/minsky-docs/Ravel/img195.png index fc330d5d4..717a6d091 100644 Binary files a/gui-js/minsky-docs/Ravel/img195.png and b/gui-js/minsky-docs/Ravel/img195.png differ diff --git a/gui-js/minsky-docs/Ravel/img196.png b/gui-js/minsky-docs/Ravel/img196.png index a086ec1dc..812538191 100644 Binary files a/gui-js/minsky-docs/Ravel/img196.png and b/gui-js/minsky-docs/Ravel/img196.png differ diff --git a/gui-js/minsky-docs/Ravel/img197.png b/gui-js/minsky-docs/Ravel/img197.png index b8908ef9b..48d005982 100644 Binary files a/gui-js/minsky-docs/Ravel/img197.png and b/gui-js/minsky-docs/Ravel/img197.png differ diff --git a/gui-js/minsky-docs/Ravel/img198.png b/gui-js/minsky-docs/Ravel/img198.png index a2c100101..e7c5e24fd 100644 Binary files a/gui-js/minsky-docs/Ravel/img198.png and b/gui-js/minsky-docs/Ravel/img198.png differ diff --git a/gui-js/minsky-docs/Ravel/img199.png b/gui-js/minsky-docs/Ravel/img199.png index c6c15c2b7..e0da93a68 100644 Binary files a/gui-js/minsky-docs/Ravel/img199.png and b/gui-js/minsky-docs/Ravel/img199.png differ diff --git a/gui-js/minsky-docs/Ravel/img2.png b/gui-js/minsky-docs/Ravel/img2.png index b6f9974dd..2545e4b6f 100644 Binary files a/gui-js/minsky-docs/Ravel/img2.png and b/gui-js/minsky-docs/Ravel/img2.png differ diff --git a/gui-js/minsky-docs/Ravel/img20.png b/gui-js/minsky-docs/Ravel/img20.png index 7e19efc01..cbb517e1b 100644 Binary files a/gui-js/minsky-docs/Ravel/img20.png and b/gui-js/minsky-docs/Ravel/img20.png differ diff --git a/gui-js/minsky-docs/Ravel/img200.png b/gui-js/minsky-docs/Ravel/img200.png index 2da5e23c3..621ea06d0 100644 Binary files a/gui-js/minsky-docs/Ravel/img200.png and b/gui-js/minsky-docs/Ravel/img200.png differ diff --git a/gui-js/minsky-docs/Ravel/img201.png b/gui-js/minsky-docs/Ravel/img201.png index 9ae36b628..9767ec92a 100644 Binary files a/gui-js/minsky-docs/Ravel/img201.png and b/gui-js/minsky-docs/Ravel/img201.png differ diff --git a/gui-js/minsky-docs/Ravel/img202.png b/gui-js/minsky-docs/Ravel/img202.png index 9402210bd..929773807 100644 Binary files a/gui-js/minsky-docs/Ravel/img202.png and b/gui-js/minsky-docs/Ravel/img202.png differ diff --git a/gui-js/minsky-docs/Ravel/img203.png b/gui-js/minsky-docs/Ravel/img203.png index 41322ca04..c09a926f6 100644 Binary files a/gui-js/minsky-docs/Ravel/img203.png and b/gui-js/minsky-docs/Ravel/img203.png differ diff --git a/gui-js/minsky-docs/Ravel/img204.png b/gui-js/minsky-docs/Ravel/img204.png index d2afb1548..e39fa7632 100644 Binary files a/gui-js/minsky-docs/Ravel/img204.png and b/gui-js/minsky-docs/Ravel/img204.png differ diff --git a/gui-js/minsky-docs/Ravel/img205.png b/gui-js/minsky-docs/Ravel/img205.png index 15c836474..95d2a631c 100644 Binary files a/gui-js/minsky-docs/Ravel/img205.png and b/gui-js/minsky-docs/Ravel/img205.png differ diff --git a/gui-js/minsky-docs/Ravel/img206.png b/gui-js/minsky-docs/Ravel/img206.png index 704693280..6e656aed6 100644 Binary files a/gui-js/minsky-docs/Ravel/img206.png and b/gui-js/minsky-docs/Ravel/img206.png differ diff --git a/gui-js/minsky-docs/Ravel/img207.png b/gui-js/minsky-docs/Ravel/img207.png index fc2bfcc2b..63ab309c4 100644 Binary files a/gui-js/minsky-docs/Ravel/img207.png and b/gui-js/minsky-docs/Ravel/img207.png differ diff --git a/gui-js/minsky-docs/Ravel/img208.png b/gui-js/minsky-docs/Ravel/img208.png index d36f2c8a7..9e0142528 100644 Binary files a/gui-js/minsky-docs/Ravel/img208.png and b/gui-js/minsky-docs/Ravel/img208.png differ diff --git a/gui-js/minsky-docs/Ravel/img209.png b/gui-js/minsky-docs/Ravel/img209.png index 1a80ccdf0..cbb438f9a 100644 Binary files a/gui-js/minsky-docs/Ravel/img209.png and b/gui-js/minsky-docs/Ravel/img209.png differ diff --git a/gui-js/minsky-docs/Ravel/img21.png b/gui-js/minsky-docs/Ravel/img21.png index 5bab35625..a3c231d1f 100644 Binary files a/gui-js/minsky-docs/Ravel/img21.png and b/gui-js/minsky-docs/Ravel/img21.png differ diff --git a/gui-js/minsky-docs/Ravel/img210.png b/gui-js/minsky-docs/Ravel/img210.png index 1b2180a96..7f3cfdf9b 100644 Binary files a/gui-js/minsky-docs/Ravel/img210.png and b/gui-js/minsky-docs/Ravel/img210.png differ diff --git a/gui-js/minsky-docs/Ravel/img211.png b/gui-js/minsky-docs/Ravel/img211.png index 1afac16e9..b8ffd0e3c 100644 Binary files a/gui-js/minsky-docs/Ravel/img211.png and b/gui-js/minsky-docs/Ravel/img211.png differ diff --git a/gui-js/minsky-docs/Ravel/img212.png b/gui-js/minsky-docs/Ravel/img212.png index 224cc1a20..cb4c24ca2 100644 Binary files a/gui-js/minsky-docs/Ravel/img212.png and b/gui-js/minsky-docs/Ravel/img212.png differ diff --git a/gui-js/minsky-docs/Ravel/img213.png b/gui-js/minsky-docs/Ravel/img213.png index e21a94328..07648f4f6 100644 Binary files a/gui-js/minsky-docs/Ravel/img213.png and b/gui-js/minsky-docs/Ravel/img213.png differ diff --git a/gui-js/minsky-docs/Ravel/img214.png b/gui-js/minsky-docs/Ravel/img214.png index fbbe838ad..f4874808f 100644 Binary files a/gui-js/minsky-docs/Ravel/img214.png and b/gui-js/minsky-docs/Ravel/img214.png differ diff --git a/gui-js/minsky-docs/Ravel/img215.png b/gui-js/minsky-docs/Ravel/img215.png index 444d5cb64..d41b7d2d9 100644 Binary files a/gui-js/minsky-docs/Ravel/img215.png and b/gui-js/minsky-docs/Ravel/img215.png differ diff --git a/gui-js/minsky-docs/Ravel/img216.png b/gui-js/minsky-docs/Ravel/img216.png index 628de7cf6..92ced74fc 100644 Binary files a/gui-js/minsky-docs/Ravel/img216.png and b/gui-js/minsky-docs/Ravel/img216.png differ diff --git a/gui-js/minsky-docs/Ravel/img217.png b/gui-js/minsky-docs/Ravel/img217.png index 92582d70f..a8f2ea82a 100644 Binary files a/gui-js/minsky-docs/Ravel/img217.png and b/gui-js/minsky-docs/Ravel/img217.png differ diff --git a/gui-js/minsky-docs/Ravel/img218.png b/gui-js/minsky-docs/Ravel/img218.png index 6c9d2d65f..2cc562f75 100644 Binary files a/gui-js/minsky-docs/Ravel/img218.png and b/gui-js/minsky-docs/Ravel/img218.png differ diff --git a/gui-js/minsky-docs/Ravel/img219.png b/gui-js/minsky-docs/Ravel/img219.png index 121ec4c06..49bcdc2b1 100644 Binary files a/gui-js/minsky-docs/Ravel/img219.png and b/gui-js/minsky-docs/Ravel/img219.png differ diff --git a/gui-js/minsky-docs/Ravel/img22.png b/gui-js/minsky-docs/Ravel/img22.png index f315bad53..f8b7c2e06 100644 Binary files a/gui-js/minsky-docs/Ravel/img22.png and b/gui-js/minsky-docs/Ravel/img22.png differ diff --git a/gui-js/minsky-docs/Ravel/img220.png b/gui-js/minsky-docs/Ravel/img220.png index a86fbb475..b683736f4 100644 Binary files a/gui-js/minsky-docs/Ravel/img220.png and b/gui-js/minsky-docs/Ravel/img220.png differ diff --git a/gui-js/minsky-docs/Ravel/img221.png b/gui-js/minsky-docs/Ravel/img221.png index bd2773497..04a8e030c 100644 Binary files a/gui-js/minsky-docs/Ravel/img221.png and b/gui-js/minsky-docs/Ravel/img221.png differ diff --git a/gui-js/minsky-docs/Ravel/img222.png b/gui-js/minsky-docs/Ravel/img222.png index c8380739a..4e8824e2a 100644 Binary files a/gui-js/minsky-docs/Ravel/img222.png and b/gui-js/minsky-docs/Ravel/img222.png differ diff --git a/gui-js/minsky-docs/Ravel/img223.png b/gui-js/minsky-docs/Ravel/img223.png index 1398454e4..f7b6c848c 100644 Binary files a/gui-js/minsky-docs/Ravel/img223.png and b/gui-js/minsky-docs/Ravel/img223.png differ diff --git a/gui-js/minsky-docs/Ravel/img224.png b/gui-js/minsky-docs/Ravel/img224.png index e58f2d587..823eb4453 100644 Binary files a/gui-js/minsky-docs/Ravel/img224.png and b/gui-js/minsky-docs/Ravel/img224.png differ diff --git a/gui-js/minsky-docs/Ravel/img225.png b/gui-js/minsky-docs/Ravel/img225.png index 201311512..c18e68a5f 100644 Binary files a/gui-js/minsky-docs/Ravel/img225.png and b/gui-js/minsky-docs/Ravel/img225.png differ diff --git a/gui-js/minsky-docs/Ravel/img226.png b/gui-js/minsky-docs/Ravel/img226.png index 55b3e628b..10fa4bf70 100644 Binary files a/gui-js/minsky-docs/Ravel/img226.png and b/gui-js/minsky-docs/Ravel/img226.png differ diff --git a/gui-js/minsky-docs/Ravel/img227.png b/gui-js/minsky-docs/Ravel/img227.png index dcd827afe..24e208263 100644 Binary files a/gui-js/minsky-docs/Ravel/img227.png and b/gui-js/minsky-docs/Ravel/img227.png differ diff --git a/gui-js/minsky-docs/Ravel/img228.png b/gui-js/minsky-docs/Ravel/img228.png index ec24d41b0..620427237 100644 Binary files a/gui-js/minsky-docs/Ravel/img228.png and b/gui-js/minsky-docs/Ravel/img228.png differ diff --git a/gui-js/minsky-docs/Ravel/img229.png b/gui-js/minsky-docs/Ravel/img229.png index 191b3e875..e3edd9d53 100644 Binary files a/gui-js/minsky-docs/Ravel/img229.png and b/gui-js/minsky-docs/Ravel/img229.png differ diff --git a/gui-js/minsky-docs/Ravel/img23.png b/gui-js/minsky-docs/Ravel/img23.png index a36451aca..fb5bad86c 100644 Binary files a/gui-js/minsky-docs/Ravel/img23.png and b/gui-js/minsky-docs/Ravel/img23.png differ diff --git a/gui-js/minsky-docs/Ravel/img230.png b/gui-js/minsky-docs/Ravel/img230.png index 9c25dd5a4..aed6dfc09 100644 Binary files a/gui-js/minsky-docs/Ravel/img230.png and b/gui-js/minsky-docs/Ravel/img230.png differ diff --git a/gui-js/minsky-docs/Ravel/img231.png b/gui-js/minsky-docs/Ravel/img231.png index db9bcf5fb..ffc24634d 100644 Binary files a/gui-js/minsky-docs/Ravel/img231.png and b/gui-js/minsky-docs/Ravel/img231.png differ diff --git a/gui-js/minsky-docs/Ravel/img232.png b/gui-js/minsky-docs/Ravel/img232.png index 3a585ba12..7a6de2640 100644 Binary files a/gui-js/minsky-docs/Ravel/img232.png and b/gui-js/minsky-docs/Ravel/img232.png differ diff --git a/gui-js/minsky-docs/Ravel/img233.png b/gui-js/minsky-docs/Ravel/img233.png index b777a1eba..4f565dcc1 100644 Binary files a/gui-js/minsky-docs/Ravel/img233.png and b/gui-js/minsky-docs/Ravel/img233.png differ diff --git a/gui-js/minsky-docs/Ravel/img234.png b/gui-js/minsky-docs/Ravel/img234.png index 691c3c00a..9e2cb0bc1 100644 Binary files a/gui-js/minsky-docs/Ravel/img234.png and b/gui-js/minsky-docs/Ravel/img234.png differ diff --git a/gui-js/minsky-docs/Ravel/img235.png b/gui-js/minsky-docs/Ravel/img235.png index 74d77954d..ec2a7634b 100644 Binary files a/gui-js/minsky-docs/Ravel/img235.png and b/gui-js/minsky-docs/Ravel/img235.png differ diff --git a/gui-js/minsky-docs/Ravel/img236.png b/gui-js/minsky-docs/Ravel/img236.png index f3025f178..6d7d251fd 100644 Binary files a/gui-js/minsky-docs/Ravel/img236.png and b/gui-js/minsky-docs/Ravel/img236.png differ diff --git a/gui-js/minsky-docs/Ravel/img237.png b/gui-js/minsky-docs/Ravel/img237.png index ee2a8d6fc..c7edd10bb 100644 Binary files a/gui-js/minsky-docs/Ravel/img237.png and b/gui-js/minsky-docs/Ravel/img237.png differ diff --git a/gui-js/minsky-docs/Ravel/img238.png b/gui-js/minsky-docs/Ravel/img238.png index e2ce8bb71..159c0896b 100644 Binary files a/gui-js/minsky-docs/Ravel/img238.png and b/gui-js/minsky-docs/Ravel/img238.png differ diff --git a/gui-js/minsky-docs/Ravel/img239.png b/gui-js/minsky-docs/Ravel/img239.png index dadb0f6bf..fe33730dd 100644 Binary files a/gui-js/minsky-docs/Ravel/img239.png and b/gui-js/minsky-docs/Ravel/img239.png differ diff --git a/gui-js/minsky-docs/Ravel/img24.png b/gui-js/minsky-docs/Ravel/img24.png index 7ad60b525..e511aa793 100644 Binary files a/gui-js/minsky-docs/Ravel/img24.png and b/gui-js/minsky-docs/Ravel/img24.png differ diff --git a/gui-js/minsky-docs/Ravel/img240.png b/gui-js/minsky-docs/Ravel/img240.png index 1651b21f6..c0493f14a 100644 Binary files a/gui-js/minsky-docs/Ravel/img240.png and b/gui-js/minsky-docs/Ravel/img240.png differ diff --git a/gui-js/minsky-docs/Ravel/img241.png b/gui-js/minsky-docs/Ravel/img241.png index ca4d4ec6b..02bbf44d7 100644 Binary files a/gui-js/minsky-docs/Ravel/img241.png and b/gui-js/minsky-docs/Ravel/img241.png differ diff --git a/gui-js/minsky-docs/Ravel/img242.png b/gui-js/minsky-docs/Ravel/img242.png index 10dc28c24..464524e1b 100644 Binary files a/gui-js/minsky-docs/Ravel/img242.png and b/gui-js/minsky-docs/Ravel/img242.png differ diff --git a/gui-js/minsky-docs/Ravel/img243.png b/gui-js/minsky-docs/Ravel/img243.png index 837ab316a..45a883f00 100644 Binary files a/gui-js/minsky-docs/Ravel/img243.png and b/gui-js/minsky-docs/Ravel/img243.png differ diff --git a/gui-js/minsky-docs/Ravel/img244.png b/gui-js/minsky-docs/Ravel/img244.png index 1dbcbb0a4..34de8803e 100644 Binary files a/gui-js/minsky-docs/Ravel/img244.png and b/gui-js/minsky-docs/Ravel/img244.png differ diff --git a/gui-js/minsky-docs/Ravel/img245.png b/gui-js/minsky-docs/Ravel/img245.png index c4dc2cc8c..89593bd79 100644 Binary files a/gui-js/minsky-docs/Ravel/img245.png and b/gui-js/minsky-docs/Ravel/img245.png differ diff --git a/gui-js/minsky-docs/Ravel/img246.png b/gui-js/minsky-docs/Ravel/img246.png index 36dd099e2..67d32c6e6 100644 Binary files a/gui-js/minsky-docs/Ravel/img246.png and b/gui-js/minsky-docs/Ravel/img246.png differ diff --git a/gui-js/minsky-docs/Ravel/img247.png b/gui-js/minsky-docs/Ravel/img247.png index 07403a7a0..6d4d61c89 100644 Binary files a/gui-js/minsky-docs/Ravel/img247.png and b/gui-js/minsky-docs/Ravel/img247.png differ diff --git a/gui-js/minsky-docs/Ravel/img248.png b/gui-js/minsky-docs/Ravel/img248.png index dd1003105..74b7a8efc 100644 Binary files a/gui-js/minsky-docs/Ravel/img248.png and b/gui-js/minsky-docs/Ravel/img248.png differ diff --git a/gui-js/minsky-docs/Ravel/img249.png b/gui-js/minsky-docs/Ravel/img249.png index 1cdc781cc..2bd244f76 100644 Binary files a/gui-js/minsky-docs/Ravel/img249.png and b/gui-js/minsky-docs/Ravel/img249.png differ diff --git a/gui-js/minsky-docs/Ravel/img25.png b/gui-js/minsky-docs/Ravel/img25.png index 0efa19c1d..89634f161 100644 Binary files a/gui-js/minsky-docs/Ravel/img25.png and b/gui-js/minsky-docs/Ravel/img25.png differ diff --git a/gui-js/minsky-docs/Ravel/img250.png b/gui-js/minsky-docs/Ravel/img250.png index 1c3d7cb79..7f634202c 100644 Binary files a/gui-js/minsky-docs/Ravel/img250.png and b/gui-js/minsky-docs/Ravel/img250.png differ diff --git a/gui-js/minsky-docs/Ravel/img251.png b/gui-js/minsky-docs/Ravel/img251.png index b00743ac6..fd7fd768f 100644 Binary files a/gui-js/minsky-docs/Ravel/img251.png and b/gui-js/minsky-docs/Ravel/img251.png differ diff --git a/gui-js/minsky-docs/Ravel/img252.png b/gui-js/minsky-docs/Ravel/img252.png index 7041349a6..f5eece35f 100644 Binary files a/gui-js/minsky-docs/Ravel/img252.png and b/gui-js/minsky-docs/Ravel/img252.png differ diff --git a/gui-js/minsky-docs/Ravel/img253.png b/gui-js/minsky-docs/Ravel/img253.png index a7ad57f56..8d14d7da4 100644 Binary files a/gui-js/minsky-docs/Ravel/img253.png and b/gui-js/minsky-docs/Ravel/img253.png differ diff --git a/gui-js/minsky-docs/Ravel/img254.png b/gui-js/minsky-docs/Ravel/img254.png index 9604f0b3c..1662dc66d 100644 Binary files a/gui-js/minsky-docs/Ravel/img254.png and b/gui-js/minsky-docs/Ravel/img254.png differ diff --git a/gui-js/minsky-docs/Ravel/img255.png b/gui-js/minsky-docs/Ravel/img255.png index bdf28c7e5..8c1f6a394 100644 Binary files a/gui-js/minsky-docs/Ravel/img255.png and b/gui-js/minsky-docs/Ravel/img255.png differ diff --git a/gui-js/minsky-docs/Ravel/img256.png b/gui-js/minsky-docs/Ravel/img256.png index cd508c691..feafe8933 100644 Binary files a/gui-js/minsky-docs/Ravel/img256.png and b/gui-js/minsky-docs/Ravel/img256.png differ diff --git a/gui-js/minsky-docs/Ravel/img257.png b/gui-js/minsky-docs/Ravel/img257.png index df76caa66..6e1adb14b 100644 Binary files a/gui-js/minsky-docs/Ravel/img257.png and b/gui-js/minsky-docs/Ravel/img257.png differ diff --git a/gui-js/minsky-docs/Ravel/img258.png b/gui-js/minsky-docs/Ravel/img258.png index a8b56588b..a43843ddb 100644 Binary files a/gui-js/minsky-docs/Ravel/img258.png and b/gui-js/minsky-docs/Ravel/img258.png differ diff --git a/gui-js/minsky-docs/Ravel/img259.png b/gui-js/minsky-docs/Ravel/img259.png index 11f447f91..7ba0a3bba 100644 Binary files a/gui-js/minsky-docs/Ravel/img259.png and b/gui-js/minsky-docs/Ravel/img259.png differ diff --git a/gui-js/minsky-docs/Ravel/img26.png b/gui-js/minsky-docs/Ravel/img26.png index 62ee0dbce..4a4c2e58a 100644 Binary files a/gui-js/minsky-docs/Ravel/img26.png and b/gui-js/minsky-docs/Ravel/img26.png differ diff --git a/gui-js/minsky-docs/Ravel/img260.png b/gui-js/minsky-docs/Ravel/img260.png index 853fd21d3..a75b8296e 100644 Binary files a/gui-js/minsky-docs/Ravel/img260.png and b/gui-js/minsky-docs/Ravel/img260.png differ diff --git a/gui-js/minsky-docs/Ravel/img261.png b/gui-js/minsky-docs/Ravel/img261.png index 67e4cb60a..167c3fffb 100644 Binary files a/gui-js/minsky-docs/Ravel/img261.png and b/gui-js/minsky-docs/Ravel/img261.png differ diff --git a/gui-js/minsky-docs/Ravel/img262.png b/gui-js/minsky-docs/Ravel/img262.png index 704fc2cdd..9aeee729c 100644 Binary files a/gui-js/minsky-docs/Ravel/img262.png and b/gui-js/minsky-docs/Ravel/img262.png differ diff --git a/gui-js/minsky-docs/Ravel/img263.png b/gui-js/minsky-docs/Ravel/img263.png index f1bd45969..212bbc2f8 100644 Binary files a/gui-js/minsky-docs/Ravel/img263.png and b/gui-js/minsky-docs/Ravel/img263.png differ diff --git a/gui-js/minsky-docs/Ravel/img264.png b/gui-js/minsky-docs/Ravel/img264.png index c371f70f4..e7783aa63 100644 Binary files a/gui-js/minsky-docs/Ravel/img264.png and b/gui-js/minsky-docs/Ravel/img264.png differ diff --git a/gui-js/minsky-docs/Ravel/img265.png b/gui-js/minsky-docs/Ravel/img265.png index 672cc04f1..093295cd3 100644 Binary files a/gui-js/minsky-docs/Ravel/img265.png and b/gui-js/minsky-docs/Ravel/img265.png differ diff --git a/gui-js/minsky-docs/Ravel/img266.png b/gui-js/minsky-docs/Ravel/img266.png index 84589d64c..ff75255be 100644 Binary files a/gui-js/minsky-docs/Ravel/img266.png and b/gui-js/minsky-docs/Ravel/img266.png differ diff --git a/gui-js/minsky-docs/Ravel/img267.png b/gui-js/minsky-docs/Ravel/img267.png index dbdd4db8d..5f6465298 100644 Binary files a/gui-js/minsky-docs/Ravel/img267.png and b/gui-js/minsky-docs/Ravel/img267.png differ diff --git a/gui-js/minsky-docs/Ravel/img268.png b/gui-js/minsky-docs/Ravel/img268.png index d52fd0e61..c11500c33 100644 Binary files a/gui-js/minsky-docs/Ravel/img268.png and b/gui-js/minsky-docs/Ravel/img268.png differ diff --git a/gui-js/minsky-docs/Ravel/img269.png b/gui-js/minsky-docs/Ravel/img269.png index bed1c063d..e6deb5139 100644 Binary files a/gui-js/minsky-docs/Ravel/img269.png and b/gui-js/minsky-docs/Ravel/img269.png differ diff --git a/gui-js/minsky-docs/Ravel/img27.png b/gui-js/minsky-docs/Ravel/img27.png index 7d26dae47..f539cd54b 100644 Binary files a/gui-js/minsky-docs/Ravel/img27.png and b/gui-js/minsky-docs/Ravel/img27.png differ diff --git a/gui-js/minsky-docs/Ravel/img270.png b/gui-js/minsky-docs/Ravel/img270.png index df21b0354..a614381b5 100644 Binary files a/gui-js/minsky-docs/Ravel/img270.png and b/gui-js/minsky-docs/Ravel/img270.png differ diff --git a/gui-js/minsky-docs/Ravel/img271.png b/gui-js/minsky-docs/Ravel/img271.png index 756caf775..3e62aecef 100644 Binary files a/gui-js/minsky-docs/Ravel/img271.png and b/gui-js/minsky-docs/Ravel/img271.png differ diff --git a/gui-js/minsky-docs/Ravel/img272.png b/gui-js/minsky-docs/Ravel/img272.png index 7de6618a8..685b9f900 100644 Binary files a/gui-js/minsky-docs/Ravel/img272.png and b/gui-js/minsky-docs/Ravel/img272.png differ diff --git a/gui-js/minsky-docs/Ravel/img273.png b/gui-js/minsky-docs/Ravel/img273.png index 7be35ae1f..310640328 100644 Binary files a/gui-js/minsky-docs/Ravel/img273.png and b/gui-js/minsky-docs/Ravel/img273.png differ diff --git a/gui-js/minsky-docs/Ravel/img274.png b/gui-js/minsky-docs/Ravel/img274.png index 715cbe6cf..99d5fa6fc 100644 Binary files a/gui-js/minsky-docs/Ravel/img274.png and b/gui-js/minsky-docs/Ravel/img274.png differ diff --git a/gui-js/minsky-docs/Ravel/img275.png b/gui-js/minsky-docs/Ravel/img275.png index e0cdd6181..002948b9d 100644 Binary files a/gui-js/minsky-docs/Ravel/img275.png and b/gui-js/minsky-docs/Ravel/img275.png differ diff --git a/gui-js/minsky-docs/Ravel/img276.png b/gui-js/minsky-docs/Ravel/img276.png index ddb1c0e70..7909c6e7d 100644 Binary files a/gui-js/minsky-docs/Ravel/img276.png and b/gui-js/minsky-docs/Ravel/img276.png differ diff --git a/gui-js/minsky-docs/Ravel/img277.png b/gui-js/minsky-docs/Ravel/img277.png index 64a2030d6..8b2d6b633 100644 Binary files a/gui-js/minsky-docs/Ravel/img277.png and b/gui-js/minsky-docs/Ravel/img277.png differ diff --git a/gui-js/minsky-docs/Ravel/img278.png b/gui-js/minsky-docs/Ravel/img278.png index 1ee79605f..f60d53a67 100644 Binary files a/gui-js/minsky-docs/Ravel/img278.png and b/gui-js/minsky-docs/Ravel/img278.png differ diff --git a/gui-js/minsky-docs/Ravel/img279.png b/gui-js/minsky-docs/Ravel/img279.png index 95f2384c5..edd0cb794 100644 Binary files a/gui-js/minsky-docs/Ravel/img279.png and b/gui-js/minsky-docs/Ravel/img279.png differ diff --git a/gui-js/minsky-docs/Ravel/img28.png b/gui-js/minsky-docs/Ravel/img28.png index 822141419..92a83592f 100644 Binary files a/gui-js/minsky-docs/Ravel/img28.png and b/gui-js/minsky-docs/Ravel/img28.png differ diff --git a/gui-js/minsky-docs/Ravel/img280.png b/gui-js/minsky-docs/Ravel/img280.png index d782a9eb6..144528444 100644 Binary files a/gui-js/minsky-docs/Ravel/img280.png and b/gui-js/minsky-docs/Ravel/img280.png differ diff --git a/gui-js/minsky-docs/Ravel/img281.png b/gui-js/minsky-docs/Ravel/img281.png index 6358cf89d..702cf0b49 100644 Binary files a/gui-js/minsky-docs/Ravel/img281.png and b/gui-js/minsky-docs/Ravel/img281.png differ diff --git a/gui-js/minsky-docs/Ravel/img282.png b/gui-js/minsky-docs/Ravel/img282.png index ccb81644c..d9035b7ed 100644 Binary files a/gui-js/minsky-docs/Ravel/img282.png and b/gui-js/minsky-docs/Ravel/img282.png differ diff --git a/gui-js/minsky-docs/Ravel/img283.png b/gui-js/minsky-docs/Ravel/img283.png index e69de29bb..2dddef3b7 100644 Binary files a/gui-js/minsky-docs/Ravel/img283.png and b/gui-js/minsky-docs/Ravel/img283.png differ diff --git a/gui-js/minsky-docs/Ravel/img284.png b/gui-js/minsky-docs/Ravel/img284.png index 92a9e2099..6d33f33c3 100644 Binary files a/gui-js/minsky-docs/Ravel/img284.png and b/gui-js/minsky-docs/Ravel/img284.png differ diff --git a/gui-js/minsky-docs/Ravel/img285.png b/gui-js/minsky-docs/Ravel/img285.png index 805e37576..9b8d08fe2 100644 Binary files a/gui-js/minsky-docs/Ravel/img285.png and b/gui-js/minsky-docs/Ravel/img285.png differ diff --git a/gui-js/minsky-docs/Ravel/img286.png b/gui-js/minsky-docs/Ravel/img286.png index d213f5dae..ab9fce1cb 100644 Binary files a/gui-js/minsky-docs/Ravel/img286.png and b/gui-js/minsky-docs/Ravel/img286.png differ diff --git a/gui-js/minsky-docs/Ravel/img289.png b/gui-js/minsky-docs/Ravel/img289.png index f22f87793..136cd3b4a 100644 Binary files a/gui-js/minsky-docs/Ravel/img289.png and b/gui-js/minsky-docs/Ravel/img289.png differ diff --git a/gui-js/minsky-docs/Ravel/img29.png b/gui-js/minsky-docs/Ravel/img29.png index 4e170d915..0ec95a132 100644 Binary files a/gui-js/minsky-docs/Ravel/img29.png and b/gui-js/minsky-docs/Ravel/img29.png differ diff --git a/gui-js/minsky-docs/Ravel/img290.png b/gui-js/minsky-docs/Ravel/img290.png index dcf0c4640..2c5725c3d 100644 Binary files a/gui-js/minsky-docs/Ravel/img290.png and b/gui-js/minsky-docs/Ravel/img290.png differ diff --git a/gui-js/minsky-docs/Ravel/img291.png b/gui-js/minsky-docs/Ravel/img291.png index 1950b687d..ad2a93b1e 100644 Binary files a/gui-js/minsky-docs/Ravel/img291.png and b/gui-js/minsky-docs/Ravel/img291.png differ diff --git a/gui-js/minsky-docs/Ravel/img292.png b/gui-js/minsky-docs/Ravel/img292.png index 6641d6c27..c0a0593a2 100644 Binary files a/gui-js/minsky-docs/Ravel/img292.png and b/gui-js/minsky-docs/Ravel/img292.png differ diff --git a/gui-js/minsky-docs/Ravel/img293.png b/gui-js/minsky-docs/Ravel/img293.png index df01c5485..49a885c54 100644 Binary files a/gui-js/minsky-docs/Ravel/img293.png and b/gui-js/minsky-docs/Ravel/img293.png differ diff --git a/gui-js/minsky-docs/Ravel/img294.png b/gui-js/minsky-docs/Ravel/img294.png index 42abd109a..c1c0d2c99 100644 Binary files a/gui-js/minsky-docs/Ravel/img294.png and b/gui-js/minsky-docs/Ravel/img294.png differ diff --git a/gui-js/minsky-docs/Ravel/img295.png b/gui-js/minsky-docs/Ravel/img295.png index dbc2cdb34..0ea3afcc1 100644 Binary files a/gui-js/minsky-docs/Ravel/img295.png and b/gui-js/minsky-docs/Ravel/img295.png differ diff --git a/gui-js/minsky-docs/Ravel/img296.png b/gui-js/minsky-docs/Ravel/img296.png index 1d430c218..0e4332b78 100644 Binary files a/gui-js/minsky-docs/Ravel/img296.png and b/gui-js/minsky-docs/Ravel/img296.png differ diff --git a/gui-js/minsky-docs/Ravel/img297.png b/gui-js/minsky-docs/Ravel/img297.png index eec86bef6..8d8b6e2a9 100644 Binary files a/gui-js/minsky-docs/Ravel/img297.png and b/gui-js/minsky-docs/Ravel/img297.png differ diff --git a/gui-js/minsky-docs/Ravel/img298.png b/gui-js/minsky-docs/Ravel/img298.png index 1f14d5356..061b53d60 100644 Binary files a/gui-js/minsky-docs/Ravel/img298.png and b/gui-js/minsky-docs/Ravel/img298.png differ diff --git a/gui-js/minsky-docs/Ravel/img299.png b/gui-js/minsky-docs/Ravel/img299.png index 94522a603..51dc7b9bc 100644 Binary files a/gui-js/minsky-docs/Ravel/img299.png and b/gui-js/minsky-docs/Ravel/img299.png differ diff --git a/gui-js/minsky-docs/Ravel/img3.png b/gui-js/minsky-docs/Ravel/img3.png index a972b31d9..b5e7101b3 100644 Binary files a/gui-js/minsky-docs/Ravel/img3.png and b/gui-js/minsky-docs/Ravel/img3.png differ diff --git a/gui-js/minsky-docs/Ravel/img30.png b/gui-js/minsky-docs/Ravel/img30.png index 27675fa02..fff897ac4 100644 Binary files a/gui-js/minsky-docs/Ravel/img30.png and b/gui-js/minsky-docs/Ravel/img30.png differ diff --git a/gui-js/minsky-docs/Ravel/img300.png b/gui-js/minsky-docs/Ravel/img300.png index 1d70f4198..25354699e 100644 Binary files a/gui-js/minsky-docs/Ravel/img300.png and b/gui-js/minsky-docs/Ravel/img300.png differ diff --git a/gui-js/minsky-docs/Ravel/img301.png b/gui-js/minsky-docs/Ravel/img301.png index ed8b9b0ab..0e27d772c 100644 Binary files a/gui-js/minsky-docs/Ravel/img301.png and b/gui-js/minsky-docs/Ravel/img301.png differ diff --git a/gui-js/minsky-docs/Ravel/img302.png b/gui-js/minsky-docs/Ravel/img302.png index ad7c56ef6..15f3b949e 100644 Binary files a/gui-js/minsky-docs/Ravel/img302.png and b/gui-js/minsky-docs/Ravel/img302.png differ diff --git a/gui-js/minsky-docs/Ravel/img303.png b/gui-js/minsky-docs/Ravel/img303.png index d57fef9f7..6f0bd9fb5 100644 Binary files a/gui-js/minsky-docs/Ravel/img303.png and b/gui-js/minsky-docs/Ravel/img303.png differ diff --git a/gui-js/minsky-docs/Ravel/img304.png b/gui-js/minsky-docs/Ravel/img304.png index f0f4edd37..81b8da438 100644 Binary files a/gui-js/minsky-docs/Ravel/img304.png and b/gui-js/minsky-docs/Ravel/img304.png differ diff --git a/gui-js/minsky-docs/Ravel/img305.png b/gui-js/minsky-docs/Ravel/img305.png index d30e4c3f2..b53974aa8 100644 Binary files a/gui-js/minsky-docs/Ravel/img305.png and b/gui-js/minsky-docs/Ravel/img305.png differ diff --git a/gui-js/minsky-docs/Ravel/img306.png b/gui-js/minsky-docs/Ravel/img306.png index 67ea10c18..9c87f589d 100644 Binary files a/gui-js/minsky-docs/Ravel/img306.png and b/gui-js/minsky-docs/Ravel/img306.png differ diff --git a/gui-js/minsky-docs/Ravel/img307.png b/gui-js/minsky-docs/Ravel/img307.png index 2eef39601..7ac311f70 100644 Binary files a/gui-js/minsky-docs/Ravel/img307.png and b/gui-js/minsky-docs/Ravel/img307.png differ diff --git a/gui-js/minsky-docs/Ravel/img308.png b/gui-js/minsky-docs/Ravel/img308.png index cf5944f4e..eb7122eaf 100644 Binary files a/gui-js/minsky-docs/Ravel/img308.png and b/gui-js/minsky-docs/Ravel/img308.png differ diff --git a/gui-js/minsky-docs/Ravel/img309.png b/gui-js/minsky-docs/Ravel/img309.png index 44c73f357..36598a40c 100644 Binary files a/gui-js/minsky-docs/Ravel/img309.png and b/gui-js/minsky-docs/Ravel/img309.png differ diff --git a/gui-js/minsky-docs/Ravel/img31.png b/gui-js/minsky-docs/Ravel/img31.png index ed981d11d..9cff7a863 100644 Binary files a/gui-js/minsky-docs/Ravel/img31.png and b/gui-js/minsky-docs/Ravel/img31.png differ diff --git a/gui-js/minsky-docs/Ravel/img310.png b/gui-js/minsky-docs/Ravel/img310.png index 3405eeec3..7bbed7afa 100644 Binary files a/gui-js/minsky-docs/Ravel/img310.png and b/gui-js/minsky-docs/Ravel/img310.png differ diff --git a/gui-js/minsky-docs/Ravel/img311.png b/gui-js/minsky-docs/Ravel/img311.png index 42aad0cad..788b589d8 100644 Binary files a/gui-js/minsky-docs/Ravel/img311.png and b/gui-js/minsky-docs/Ravel/img311.png differ diff --git a/gui-js/minsky-docs/Ravel/img312.png b/gui-js/minsky-docs/Ravel/img312.png index 9c21ba5f5..a4c4ecc15 100644 Binary files a/gui-js/minsky-docs/Ravel/img312.png and b/gui-js/minsky-docs/Ravel/img312.png differ diff --git a/gui-js/minsky-docs/Ravel/img313.png b/gui-js/minsky-docs/Ravel/img313.png index 9c8a59d14..b143da7af 100644 Binary files a/gui-js/minsky-docs/Ravel/img313.png and b/gui-js/minsky-docs/Ravel/img313.png differ diff --git a/gui-js/minsky-docs/Ravel/img314.png b/gui-js/minsky-docs/Ravel/img314.png index b8d18c0ae..778c0c9f5 100644 Binary files a/gui-js/minsky-docs/Ravel/img314.png and b/gui-js/minsky-docs/Ravel/img314.png differ diff --git a/gui-js/minsky-docs/Ravel/img315.png b/gui-js/minsky-docs/Ravel/img315.png index 887697b4b..36d447d7f 100644 Binary files a/gui-js/minsky-docs/Ravel/img315.png and b/gui-js/minsky-docs/Ravel/img315.png differ diff --git a/gui-js/minsky-docs/Ravel/img316.png b/gui-js/minsky-docs/Ravel/img316.png index defe1f918..43622363d 100644 Binary files a/gui-js/minsky-docs/Ravel/img316.png and b/gui-js/minsky-docs/Ravel/img316.png differ diff --git a/gui-js/minsky-docs/Ravel/img317.png b/gui-js/minsky-docs/Ravel/img317.png index 955d475e2..f85afeab8 100644 Binary files a/gui-js/minsky-docs/Ravel/img317.png and b/gui-js/minsky-docs/Ravel/img317.png differ diff --git a/gui-js/minsky-docs/Ravel/img318.png b/gui-js/minsky-docs/Ravel/img318.png index fb8a1f9e2..d355c16b0 100644 Binary files a/gui-js/minsky-docs/Ravel/img318.png and b/gui-js/minsky-docs/Ravel/img318.png differ diff --git a/gui-js/minsky-docs/Ravel/img319.png b/gui-js/minsky-docs/Ravel/img319.png index 2a62d78d2..2b5e0b4f3 100644 Binary files a/gui-js/minsky-docs/Ravel/img319.png and b/gui-js/minsky-docs/Ravel/img319.png differ diff --git a/gui-js/minsky-docs/Ravel/img32.png b/gui-js/minsky-docs/Ravel/img32.png index c50323ec0..5e27a7a41 100644 Binary files a/gui-js/minsky-docs/Ravel/img32.png and b/gui-js/minsky-docs/Ravel/img32.png differ diff --git a/gui-js/minsky-docs/Ravel/img320.png b/gui-js/minsky-docs/Ravel/img320.png index 6beed5095..2d7f653c1 100644 Binary files a/gui-js/minsky-docs/Ravel/img320.png and b/gui-js/minsky-docs/Ravel/img320.png differ diff --git a/gui-js/minsky-docs/Ravel/img321.png b/gui-js/minsky-docs/Ravel/img321.png index 70761e3a5..d1782815d 100644 Binary files a/gui-js/minsky-docs/Ravel/img321.png and b/gui-js/minsky-docs/Ravel/img321.png differ diff --git a/gui-js/minsky-docs/Ravel/img322.png b/gui-js/minsky-docs/Ravel/img322.png index cc56dd3d4..a8ff9b8d1 100644 Binary files a/gui-js/minsky-docs/Ravel/img322.png and b/gui-js/minsky-docs/Ravel/img322.png differ diff --git a/gui-js/minsky-docs/Ravel/img323.png b/gui-js/minsky-docs/Ravel/img323.png index c6d426c15..776ea114c 100644 Binary files a/gui-js/minsky-docs/Ravel/img323.png and b/gui-js/minsky-docs/Ravel/img323.png differ diff --git a/gui-js/minsky-docs/Ravel/img324.png b/gui-js/minsky-docs/Ravel/img324.png index 7e745a482..a1b9ebe56 100644 Binary files a/gui-js/minsky-docs/Ravel/img324.png and b/gui-js/minsky-docs/Ravel/img324.png differ diff --git a/gui-js/minsky-docs/Ravel/img325.png b/gui-js/minsky-docs/Ravel/img325.png index 3adec5025..8221842d5 100644 Binary files a/gui-js/minsky-docs/Ravel/img325.png and b/gui-js/minsky-docs/Ravel/img325.png differ diff --git a/gui-js/minsky-docs/Ravel/img326.png b/gui-js/minsky-docs/Ravel/img326.png index d6ce5a3d3..858b903da 100644 Binary files a/gui-js/minsky-docs/Ravel/img326.png and b/gui-js/minsky-docs/Ravel/img326.png differ diff --git a/gui-js/minsky-docs/Ravel/img327.png b/gui-js/minsky-docs/Ravel/img327.png index fa78d952c..64224082a 100644 Binary files a/gui-js/minsky-docs/Ravel/img327.png and b/gui-js/minsky-docs/Ravel/img327.png differ diff --git a/gui-js/minsky-docs/Ravel/img328.png b/gui-js/minsky-docs/Ravel/img328.png index f40565c74..109af5662 100644 Binary files a/gui-js/minsky-docs/Ravel/img328.png and b/gui-js/minsky-docs/Ravel/img328.png differ diff --git a/gui-js/minsky-docs/Ravel/img329.png b/gui-js/minsky-docs/Ravel/img329.png index 4e68c936c..e6a6e4f0c 100644 Binary files a/gui-js/minsky-docs/Ravel/img329.png and b/gui-js/minsky-docs/Ravel/img329.png differ diff --git a/gui-js/minsky-docs/Ravel/img33.png b/gui-js/minsky-docs/Ravel/img33.png index bdb2165f8..5b6042933 100644 Binary files a/gui-js/minsky-docs/Ravel/img33.png and b/gui-js/minsky-docs/Ravel/img33.png differ diff --git a/gui-js/minsky-docs/Ravel/img330.png b/gui-js/minsky-docs/Ravel/img330.png index ebcf50bad..f13f2b41f 100644 Binary files a/gui-js/minsky-docs/Ravel/img330.png and b/gui-js/minsky-docs/Ravel/img330.png differ diff --git a/gui-js/minsky-docs/Ravel/img331.png b/gui-js/minsky-docs/Ravel/img331.png index fd62f843b..1f891ab85 100644 Binary files a/gui-js/minsky-docs/Ravel/img331.png and b/gui-js/minsky-docs/Ravel/img331.png differ diff --git a/gui-js/minsky-docs/Ravel/img332.png b/gui-js/minsky-docs/Ravel/img332.png index 496691599..3f853d5a3 100644 Binary files a/gui-js/minsky-docs/Ravel/img332.png and b/gui-js/minsky-docs/Ravel/img332.png differ diff --git a/gui-js/minsky-docs/Ravel/img333.png b/gui-js/minsky-docs/Ravel/img333.png index 3dcbda9ae..0959cf742 100644 Binary files a/gui-js/minsky-docs/Ravel/img333.png and b/gui-js/minsky-docs/Ravel/img333.png differ diff --git a/gui-js/minsky-docs/Ravel/img334.png b/gui-js/minsky-docs/Ravel/img334.png index 87a223f31..4b6caaa21 100644 Binary files a/gui-js/minsky-docs/Ravel/img334.png and b/gui-js/minsky-docs/Ravel/img334.png differ diff --git a/gui-js/minsky-docs/Ravel/img335.png b/gui-js/minsky-docs/Ravel/img335.png index 090079a18..86d4597f3 100644 Binary files a/gui-js/minsky-docs/Ravel/img335.png and b/gui-js/minsky-docs/Ravel/img335.png differ diff --git a/gui-js/minsky-docs/Ravel/img336.png b/gui-js/minsky-docs/Ravel/img336.png index 7d3b980a0..b0cfa2fb3 100644 Binary files a/gui-js/minsky-docs/Ravel/img336.png and b/gui-js/minsky-docs/Ravel/img336.png differ diff --git a/gui-js/minsky-docs/Ravel/img337.png b/gui-js/minsky-docs/Ravel/img337.png index 537bff11d..e867f3869 100644 Binary files a/gui-js/minsky-docs/Ravel/img337.png and b/gui-js/minsky-docs/Ravel/img337.png differ diff --git a/gui-js/minsky-docs/Ravel/img338.png b/gui-js/minsky-docs/Ravel/img338.png index 2a7e6a3ab..142cf6ca9 100644 Binary files a/gui-js/minsky-docs/Ravel/img338.png and b/gui-js/minsky-docs/Ravel/img338.png differ diff --git a/gui-js/minsky-docs/Ravel/img339.png b/gui-js/minsky-docs/Ravel/img339.png index efcabca71..e9a7a759f 100644 Binary files a/gui-js/minsky-docs/Ravel/img339.png and b/gui-js/minsky-docs/Ravel/img339.png differ diff --git a/gui-js/minsky-docs/Ravel/img34.png b/gui-js/minsky-docs/Ravel/img34.png index b8514299c..648728340 100644 Binary files a/gui-js/minsky-docs/Ravel/img34.png and b/gui-js/minsky-docs/Ravel/img34.png differ diff --git a/gui-js/minsky-docs/Ravel/img35.png b/gui-js/minsky-docs/Ravel/img35.png index c0ae4df60..db5d7025e 100644 Binary files a/gui-js/minsky-docs/Ravel/img35.png and b/gui-js/minsky-docs/Ravel/img35.png differ diff --git a/gui-js/minsky-docs/Ravel/img36.png b/gui-js/minsky-docs/Ravel/img36.png index f885a14db..4b615c75f 100644 Binary files a/gui-js/minsky-docs/Ravel/img36.png and b/gui-js/minsky-docs/Ravel/img36.png differ diff --git a/gui-js/minsky-docs/Ravel/img37.png b/gui-js/minsky-docs/Ravel/img37.png index efa1b9715..54868bad0 100644 Binary files a/gui-js/minsky-docs/Ravel/img37.png and b/gui-js/minsky-docs/Ravel/img37.png differ diff --git a/gui-js/minsky-docs/Ravel/img38.png b/gui-js/minsky-docs/Ravel/img38.png index aa2191d7d..ec5bab8f4 100644 Binary files a/gui-js/minsky-docs/Ravel/img38.png and b/gui-js/minsky-docs/Ravel/img38.png differ diff --git a/gui-js/minsky-docs/Ravel/img39.png b/gui-js/minsky-docs/Ravel/img39.png index 83085354a..eccad9412 100644 Binary files a/gui-js/minsky-docs/Ravel/img39.png and b/gui-js/minsky-docs/Ravel/img39.png differ diff --git a/gui-js/minsky-docs/Ravel/img4.png b/gui-js/minsky-docs/Ravel/img4.png index 1c5a1738a..39519f983 100644 Binary files a/gui-js/minsky-docs/Ravel/img4.png and b/gui-js/minsky-docs/Ravel/img4.png differ diff --git a/gui-js/minsky-docs/Ravel/img40.png b/gui-js/minsky-docs/Ravel/img40.png index fcf64da60..a8924564c 100644 Binary files a/gui-js/minsky-docs/Ravel/img40.png and b/gui-js/minsky-docs/Ravel/img40.png differ diff --git a/gui-js/minsky-docs/Ravel/img41.png b/gui-js/minsky-docs/Ravel/img41.png index 3ca09a7f5..5fff91cf5 100644 Binary files a/gui-js/minsky-docs/Ravel/img41.png and b/gui-js/minsky-docs/Ravel/img41.png differ diff --git a/gui-js/minsky-docs/Ravel/img42.png b/gui-js/minsky-docs/Ravel/img42.png index d1e94d58b..dc1e13ab6 100644 Binary files a/gui-js/minsky-docs/Ravel/img42.png and b/gui-js/minsky-docs/Ravel/img42.png differ diff --git a/gui-js/minsky-docs/Ravel/img43.png b/gui-js/minsky-docs/Ravel/img43.png index 9ec2c1e60..5acb7be4d 100644 Binary files a/gui-js/minsky-docs/Ravel/img43.png and b/gui-js/minsky-docs/Ravel/img43.png differ diff --git a/gui-js/minsky-docs/Ravel/img44.png b/gui-js/minsky-docs/Ravel/img44.png index 680bf7e1c..b2bb0117d 100644 Binary files a/gui-js/minsky-docs/Ravel/img44.png and b/gui-js/minsky-docs/Ravel/img44.png differ diff --git a/gui-js/minsky-docs/Ravel/img45.png b/gui-js/minsky-docs/Ravel/img45.png index 5a4e65110..0c5801651 100644 Binary files a/gui-js/minsky-docs/Ravel/img45.png and b/gui-js/minsky-docs/Ravel/img45.png differ diff --git a/gui-js/minsky-docs/Ravel/img46.png b/gui-js/minsky-docs/Ravel/img46.png index afbb96673..19e6d56f2 100644 Binary files a/gui-js/minsky-docs/Ravel/img46.png and b/gui-js/minsky-docs/Ravel/img46.png differ diff --git a/gui-js/minsky-docs/Ravel/img47.png b/gui-js/minsky-docs/Ravel/img47.png index 69afbc6d7..0e53ae488 100644 Binary files a/gui-js/minsky-docs/Ravel/img47.png and b/gui-js/minsky-docs/Ravel/img47.png differ diff --git a/gui-js/minsky-docs/Ravel/img48.png b/gui-js/minsky-docs/Ravel/img48.png index 64c34a2b2..3ffa2de2d 100644 Binary files a/gui-js/minsky-docs/Ravel/img48.png and b/gui-js/minsky-docs/Ravel/img48.png differ diff --git a/gui-js/minsky-docs/Ravel/img49.png b/gui-js/minsky-docs/Ravel/img49.png index 2412bef25..66bf8c93d 100644 Binary files a/gui-js/minsky-docs/Ravel/img49.png and b/gui-js/minsky-docs/Ravel/img49.png differ diff --git a/gui-js/minsky-docs/Ravel/img5.png b/gui-js/minsky-docs/Ravel/img5.png index 0bf29bb8b..4ff1412bf 100644 Binary files a/gui-js/minsky-docs/Ravel/img5.png and b/gui-js/minsky-docs/Ravel/img5.png differ diff --git a/gui-js/minsky-docs/Ravel/img50.png b/gui-js/minsky-docs/Ravel/img50.png index 3c6ba4413..c246cb810 100644 Binary files a/gui-js/minsky-docs/Ravel/img50.png and b/gui-js/minsky-docs/Ravel/img50.png differ diff --git a/gui-js/minsky-docs/Ravel/img51.png b/gui-js/minsky-docs/Ravel/img51.png index e69de29bb..9e2e5e925 100644 Binary files a/gui-js/minsky-docs/Ravel/img51.png and b/gui-js/minsky-docs/Ravel/img51.png differ diff --git a/gui-js/minsky-docs/Ravel/img52.png b/gui-js/minsky-docs/Ravel/img52.png index a51f4dcf7..470d78536 100644 Binary files a/gui-js/minsky-docs/Ravel/img52.png and b/gui-js/minsky-docs/Ravel/img52.png differ diff --git a/gui-js/minsky-docs/Ravel/img53.png b/gui-js/minsky-docs/Ravel/img53.png index 1fd53b8d1..b2620a4f9 100644 Binary files a/gui-js/minsky-docs/Ravel/img53.png and b/gui-js/minsky-docs/Ravel/img53.png differ diff --git a/gui-js/minsky-docs/Ravel/img54.png b/gui-js/minsky-docs/Ravel/img54.png index 7bd42f13b..896e8dc13 100644 Binary files a/gui-js/minsky-docs/Ravel/img54.png and b/gui-js/minsky-docs/Ravel/img54.png differ diff --git a/gui-js/minsky-docs/Ravel/img55.png b/gui-js/minsky-docs/Ravel/img55.png index 7f436f149..f99417d3e 100644 Binary files a/gui-js/minsky-docs/Ravel/img55.png and b/gui-js/minsky-docs/Ravel/img55.png differ diff --git a/gui-js/minsky-docs/Ravel/img56.png b/gui-js/minsky-docs/Ravel/img56.png index d3376cdce..022f8a6b2 100644 Binary files a/gui-js/minsky-docs/Ravel/img56.png and b/gui-js/minsky-docs/Ravel/img56.png differ diff --git a/gui-js/minsky-docs/Ravel/img57.png b/gui-js/minsky-docs/Ravel/img57.png index 11873878f..d0df8237d 100644 Binary files a/gui-js/minsky-docs/Ravel/img57.png and b/gui-js/minsky-docs/Ravel/img57.png differ diff --git a/gui-js/minsky-docs/Ravel/img58.png b/gui-js/minsky-docs/Ravel/img58.png index 2701dc939..2daf6eb09 100644 Binary files a/gui-js/minsky-docs/Ravel/img58.png and b/gui-js/minsky-docs/Ravel/img58.png differ diff --git a/gui-js/minsky-docs/Ravel/img59.png b/gui-js/minsky-docs/Ravel/img59.png index 25214d06b..d32fed617 100644 Binary files a/gui-js/minsky-docs/Ravel/img59.png and b/gui-js/minsky-docs/Ravel/img59.png differ diff --git a/gui-js/minsky-docs/Ravel/img6.png b/gui-js/minsky-docs/Ravel/img6.png index 714ec42f0..e170ace58 100644 Binary files a/gui-js/minsky-docs/Ravel/img6.png and b/gui-js/minsky-docs/Ravel/img6.png differ diff --git a/gui-js/minsky-docs/Ravel/img60.png b/gui-js/minsky-docs/Ravel/img60.png index 25ae51e2b..3ea7cace7 100644 Binary files a/gui-js/minsky-docs/Ravel/img60.png and b/gui-js/minsky-docs/Ravel/img60.png differ diff --git a/gui-js/minsky-docs/Ravel/img61.png b/gui-js/minsky-docs/Ravel/img61.png index fb33f11d3..30b036b31 100644 Binary files a/gui-js/minsky-docs/Ravel/img61.png and b/gui-js/minsky-docs/Ravel/img61.png differ diff --git a/gui-js/minsky-docs/Ravel/img62.png b/gui-js/minsky-docs/Ravel/img62.png index d40022204..11a431fa2 100644 Binary files a/gui-js/minsky-docs/Ravel/img62.png and b/gui-js/minsky-docs/Ravel/img62.png differ diff --git a/gui-js/minsky-docs/Ravel/img63.png b/gui-js/minsky-docs/Ravel/img63.png index 7585443f3..0a5837d91 100644 Binary files a/gui-js/minsky-docs/Ravel/img63.png and b/gui-js/minsky-docs/Ravel/img63.png differ diff --git a/gui-js/minsky-docs/Ravel/img64.png b/gui-js/minsky-docs/Ravel/img64.png index 0dd3970ac..4b0f0e818 100644 Binary files a/gui-js/minsky-docs/Ravel/img64.png and b/gui-js/minsky-docs/Ravel/img64.png differ diff --git a/gui-js/minsky-docs/Ravel/img65.png b/gui-js/minsky-docs/Ravel/img65.png index b932c3aa2..eabfbbd0d 100644 Binary files a/gui-js/minsky-docs/Ravel/img65.png and b/gui-js/minsky-docs/Ravel/img65.png differ diff --git a/gui-js/minsky-docs/Ravel/img66.png b/gui-js/minsky-docs/Ravel/img66.png index 071f8bd70..64e34b0ce 100644 Binary files a/gui-js/minsky-docs/Ravel/img66.png and b/gui-js/minsky-docs/Ravel/img66.png differ diff --git a/gui-js/minsky-docs/Ravel/img67.png b/gui-js/minsky-docs/Ravel/img67.png index 1f6b936c1..9c1d66e3c 100644 Binary files a/gui-js/minsky-docs/Ravel/img67.png and b/gui-js/minsky-docs/Ravel/img67.png differ diff --git a/gui-js/minsky-docs/Ravel/img68.png b/gui-js/minsky-docs/Ravel/img68.png index 588551eab..f0842b4f0 100644 Binary files a/gui-js/minsky-docs/Ravel/img68.png and b/gui-js/minsky-docs/Ravel/img68.png differ diff --git a/gui-js/minsky-docs/Ravel/img69.png b/gui-js/minsky-docs/Ravel/img69.png index 6a7525862..01ffda10d 100644 Binary files a/gui-js/minsky-docs/Ravel/img69.png and b/gui-js/minsky-docs/Ravel/img69.png differ diff --git a/gui-js/minsky-docs/Ravel/img7.png b/gui-js/minsky-docs/Ravel/img7.png index d6b6af9ea..b20a1a3ba 100644 Binary files a/gui-js/minsky-docs/Ravel/img7.png and b/gui-js/minsky-docs/Ravel/img7.png differ diff --git a/gui-js/minsky-docs/Ravel/img70.png b/gui-js/minsky-docs/Ravel/img70.png index 22db49e67..90b2f5a58 100644 Binary files a/gui-js/minsky-docs/Ravel/img70.png and b/gui-js/minsky-docs/Ravel/img70.png differ diff --git a/gui-js/minsky-docs/Ravel/img71.png b/gui-js/minsky-docs/Ravel/img71.png index e812a9145..d3ccd4393 100644 Binary files a/gui-js/minsky-docs/Ravel/img71.png and b/gui-js/minsky-docs/Ravel/img71.png differ diff --git a/gui-js/minsky-docs/Ravel/img72.png b/gui-js/minsky-docs/Ravel/img72.png index bed601439..5b8900115 100644 Binary files a/gui-js/minsky-docs/Ravel/img72.png and b/gui-js/minsky-docs/Ravel/img72.png differ diff --git a/gui-js/minsky-docs/Ravel/img73.png b/gui-js/minsky-docs/Ravel/img73.png index 1a62c0fd5..a48fdd7a5 100644 Binary files a/gui-js/minsky-docs/Ravel/img73.png and b/gui-js/minsky-docs/Ravel/img73.png differ diff --git a/gui-js/minsky-docs/Ravel/img74.png b/gui-js/minsky-docs/Ravel/img74.png index e945951be..2bdf62a35 100644 Binary files a/gui-js/minsky-docs/Ravel/img74.png and b/gui-js/minsky-docs/Ravel/img74.png differ diff --git a/gui-js/minsky-docs/Ravel/img75.png b/gui-js/minsky-docs/Ravel/img75.png index 5d1eeb543..d8f20dfc5 100644 Binary files a/gui-js/minsky-docs/Ravel/img75.png and b/gui-js/minsky-docs/Ravel/img75.png differ diff --git a/gui-js/minsky-docs/Ravel/img76.png b/gui-js/minsky-docs/Ravel/img76.png index 0adec3329..c4c569c95 100644 Binary files a/gui-js/minsky-docs/Ravel/img76.png and b/gui-js/minsky-docs/Ravel/img76.png differ diff --git a/gui-js/minsky-docs/Ravel/img77.png b/gui-js/minsky-docs/Ravel/img77.png index a75d1f10e..eaa6938fa 100644 Binary files a/gui-js/minsky-docs/Ravel/img77.png and b/gui-js/minsky-docs/Ravel/img77.png differ diff --git a/gui-js/minsky-docs/Ravel/img78.png b/gui-js/minsky-docs/Ravel/img78.png index 9d95f0219..5acb7be4d 100644 Binary files a/gui-js/minsky-docs/Ravel/img78.png and b/gui-js/minsky-docs/Ravel/img78.png differ diff --git a/gui-js/minsky-docs/Ravel/img79.png b/gui-js/minsky-docs/Ravel/img79.png index 42090569e..6a19a3aec 100644 Binary files a/gui-js/minsky-docs/Ravel/img79.png and b/gui-js/minsky-docs/Ravel/img79.png differ diff --git a/gui-js/minsky-docs/Ravel/img8.png b/gui-js/minsky-docs/Ravel/img8.png index 53316bcbc..97321a10a 100644 Binary files a/gui-js/minsky-docs/Ravel/img8.png and b/gui-js/minsky-docs/Ravel/img8.png differ diff --git a/gui-js/minsky-docs/Ravel/img80.png b/gui-js/minsky-docs/Ravel/img80.png index afbb96673..5bb53f883 100644 Binary files a/gui-js/minsky-docs/Ravel/img80.png and b/gui-js/minsky-docs/Ravel/img80.png differ diff --git a/gui-js/minsky-docs/Ravel/img81.png b/gui-js/minsky-docs/Ravel/img81.png index 0dd3970ac..4b0f0e818 100644 Binary files a/gui-js/minsky-docs/Ravel/img81.png and b/gui-js/minsky-docs/Ravel/img81.png differ diff --git a/gui-js/minsky-docs/Ravel/img82.png b/gui-js/minsky-docs/Ravel/img82.png index 6517016d7..723b305bf 100644 Binary files a/gui-js/minsky-docs/Ravel/img82.png and b/gui-js/minsky-docs/Ravel/img82.png differ diff --git a/gui-js/minsky-docs/Ravel/img83.png b/gui-js/minsky-docs/Ravel/img83.png index 1316e93bf..b2bb0117d 100644 Binary files a/gui-js/minsky-docs/Ravel/img83.png and b/gui-js/minsky-docs/Ravel/img83.png differ diff --git a/gui-js/minsky-docs/Ravel/img84.png b/gui-js/minsky-docs/Ravel/img84.png index b1de6beb6..4e9361bf1 100644 Binary files a/gui-js/minsky-docs/Ravel/img84.png and b/gui-js/minsky-docs/Ravel/img84.png differ diff --git a/gui-js/minsky-docs/Ravel/img85.png b/gui-js/minsky-docs/Ravel/img85.png index 58dfb016b..82efdae92 100644 Binary files a/gui-js/minsky-docs/Ravel/img85.png and b/gui-js/minsky-docs/Ravel/img85.png differ diff --git a/gui-js/minsky-docs/Ravel/img86.png b/gui-js/minsky-docs/Ravel/img86.png index 16864161c..66bf8c93d 100644 Binary files a/gui-js/minsky-docs/Ravel/img86.png and b/gui-js/minsky-docs/Ravel/img86.png differ diff --git a/gui-js/minsky-docs/Ravel/img87.png b/gui-js/minsky-docs/Ravel/img87.png index a82ad9b28..73294748b 100644 Binary files a/gui-js/minsky-docs/Ravel/img87.png and b/gui-js/minsky-docs/Ravel/img87.png differ diff --git a/gui-js/minsky-docs/Ravel/img88.png b/gui-js/minsky-docs/Ravel/img88.png index 568b60ed1..eaa042286 100644 Binary files a/gui-js/minsky-docs/Ravel/img88.png and b/gui-js/minsky-docs/Ravel/img88.png differ diff --git a/gui-js/minsky-docs/Ravel/img89.png b/gui-js/minsky-docs/Ravel/img89.png index 316ec8539..62069ce29 100644 Binary files a/gui-js/minsky-docs/Ravel/img89.png and b/gui-js/minsky-docs/Ravel/img89.png differ diff --git a/gui-js/minsky-docs/Ravel/img9.png b/gui-js/minsky-docs/Ravel/img9.png index 8fcd455b4..6e2dcad4a 100644 Binary files a/gui-js/minsky-docs/Ravel/img9.png and b/gui-js/minsky-docs/Ravel/img9.png differ diff --git a/gui-js/minsky-docs/Ravel/img90.png b/gui-js/minsky-docs/Ravel/img90.png index 395e7d67c..1629d5696 100644 Binary files a/gui-js/minsky-docs/Ravel/img90.png and b/gui-js/minsky-docs/Ravel/img90.png differ diff --git a/gui-js/minsky-docs/Ravel/img91.png b/gui-js/minsky-docs/Ravel/img91.png index 74adb362b..f386aeaa9 100644 Binary files a/gui-js/minsky-docs/Ravel/img91.png and b/gui-js/minsky-docs/Ravel/img91.png differ diff --git a/gui-js/minsky-docs/Ravel/img92.png b/gui-js/minsky-docs/Ravel/img92.png index 05aaf040d..880d626f6 100644 Binary files a/gui-js/minsky-docs/Ravel/img92.png and b/gui-js/minsky-docs/Ravel/img92.png differ diff --git a/gui-js/minsky-docs/Ravel/img93.png b/gui-js/minsky-docs/Ravel/img93.png index db3c49248..5a57a75db 100644 Binary files a/gui-js/minsky-docs/Ravel/img93.png and b/gui-js/minsky-docs/Ravel/img93.png differ diff --git a/gui-js/minsky-docs/Ravel/img94.png b/gui-js/minsky-docs/Ravel/img94.png index 94d81d671..1b7c42379 100644 Binary files a/gui-js/minsky-docs/Ravel/img94.png and b/gui-js/minsky-docs/Ravel/img94.png differ diff --git a/gui-js/minsky-docs/Ravel/img95.png b/gui-js/minsky-docs/Ravel/img95.png index 5d2cb26a2..96f6be06b 100644 Binary files a/gui-js/minsky-docs/Ravel/img95.png and b/gui-js/minsky-docs/Ravel/img95.png differ diff --git a/gui-js/minsky-docs/Ravel/img96.png b/gui-js/minsky-docs/Ravel/img96.png index 887cacd9e..6cf508853 100644 Binary files a/gui-js/minsky-docs/Ravel/img96.png and b/gui-js/minsky-docs/Ravel/img96.png differ diff --git a/gui-js/minsky-docs/Ravel/img97.png b/gui-js/minsky-docs/Ravel/img97.png index 21462708f..0daacb52a 100644 Binary files a/gui-js/minsky-docs/Ravel/img97.png and b/gui-js/minsky-docs/Ravel/img97.png differ diff --git a/gui-js/minsky-docs/Ravel/img98.png b/gui-js/minsky-docs/Ravel/img98.png index 0c4c237c3..1d15bb63e 100644 Binary files a/gui-js/minsky-docs/Ravel/img98.png and b/gui-js/minsky-docs/Ravel/img98.png differ diff --git a/gui-js/minsky-docs/Ravel/img99.png b/gui-js/minsky-docs/Ravel/img99.png index ecbab587b..0b1f7704f 100644 Binary files a/gui-js/minsky-docs/Ravel/img99.png and b/gui-js/minsky-docs/Ravel/img99.png differ diff --git a/gui-js/minsky-docs/Ravel/index.html b/gui-js/minsky-docs/Ravel/index.html index 3a5474655..5f99eca20 100644 --- a/gui-js/minsky-docs/Ravel/index.html +++ b/gui-js/minsky-docs/Ravel/index.html @@ -1,16 +1,12 @@ - - + + Minsky Simulation Engine - - - - - - + + @@ -19,14 +15,14 @@ - -next -up -previous + +next +up +previous
    - Next: Introduction + Next: Introduction

    @@ -34,581 +30,583 @@


    - +
    -
  • User defined functions -
    diff --git a/gui-js/minsky-docs/Ravel/node1.html b/gui-js/minsky-docs/Ravel/node1.html index a7a580dce..66ee2061e 100644 --- a/gui-js/minsky-docs/Ravel/node1.html +++ b/gui-js/minsky-docs/Ravel/node1.html @@ -1,58 +1,53 @@ - - + + Introduction - - - - - - + + - - -next - +next + +up + +previous + -up - -previous - -contents +contents
    - Next: Getting Started with Ravel - Up: Minsky Simulation Engine - Previous: Minsky Simulation Engine -   Next: Getting Started with Ravel + Up: Minsky Simulation Engine + Previous: Minsky Simulation Engine +   Contents

    -

    +

    Introduction

    -Ravel is a data analysis program which +Ravel is a data analysis program which is an alternative to spreadsheets and existing business intelligence programs (Tableau, Power BI, etc.). It has two key features that distinguish it from all other programs in this space: @@ -65,13 +60,13 @@

    cell references of spreadsheets.

    • -It also includes the system-dynamics engine Minsky. +It also includes the system-dynamics engine Minsky.

    Unlike spreadsheets, which are fundamentally limited to two dimensions (rows and columns), Ravel supports an effectively unlimited -number of dimensions. Ravel's key feature--also called a -Ravel--is a visual tool for manipulating and analysing multidimensional +number of dimensions. Ravel's key feature—also called a +Ravel—is a visual tool for manipulating and analysing multidimensional data, which can handle as many dimensions as your data contains. By contrast, to handle more than 2 dimensions in a spreadsheet, the go to tool is a Pivot table, which provides some sort of control over @@ -80,30 +75,30 @@

    Ravel is primarily focussed on numerical data, although it is possible -to analyse purely symbolic data in ``counter mode''. +to analyse purely symbolic data in ``counter mode''.

    -This is a blank Ravel--a Ravel with no data attached to it. The +This is a blank Ravel—a Ravel with no data attached to it. The axes are indicative examples, and will be replaced by the dimensions of your data, once you attach a data parameter to the Ravel:

    \includegraphics{images/RavelBlank}% WIDTH=410 HEIGHT=401

    -To use a Ravel, you first need to import a data file-at present +To use a Ravel, you first need to import a data file–at present this must be a CSV file (other data sources will be added in later -releases). Once the data is imported, the data object +releases). Once the data is imported, the data object can be attached to a Ravel. This is a Ravel with data attached:

    \includegraphics{images/01RavelDataInflation}% WIDTH=394 HEIGHT=436 + STYLE="height: 63.43ex; vertical-align: -0.02ex; " SRC="img31.png" + ALT="\includegraphics{images/01RavelDataInflation}% WIDTH=393 HEIGHT=435 ">

    There are many ways to manipulate and display data directly from a @@ -117,8 +112,8 @@

    \includegraphics[width=\textwidth]{images/01BRavelDataInflationSelected}% WIDTH=556 HEIGHT=295 + STYLE="height: 42.52ex; vertical-align: -0.12ex; " SRC="img32.png" + ALT="\includegraphics[width=\textwidth]{images/01BRavelDataInflationSelected}% WIDTH=527 HEIGHT=292 ">

    Ravel the object itself makes it far easier to drill down into and @@ -127,15 +122,15 @@

    Ravel the program enables easy analysis of data using self-documenting -flowchart formulas. This is a Ravel with data selected-for six countries, +flowchart formulas. This is a Ravel with data selected–for six countries, on the annualised monthly inflation rate, for dates from January 2001 -till January 2024-and assigned to a variable (``Post2000''). +till January 2024–and assigned to a variable (``Post2000'').

    \includegraphics{images/02RavelDataInflationGraphed}% WIDTH=641 HEIGHT=874 + STYLE="height: 127.36ex; vertical-align: -0.12ex; " SRC="img33.png" + ALT="\includegraphics{images/02RavelDataInflationGraphed}% WIDTH=527 HEIGHT=874 ">

    The data is analyzed by (a) working out the average inflation rate @@ -146,7 +141,7 @@

    The average inflation rate is calculated using the formula shown below, where the \resizebox{!}{2ex}{\includegraphics{images/mean}}% WIDTH=15 HEIGHT=14 operator works out the average inflation rate over time for the six countries in the variable Post2000 @@ -157,8 +152,8 @@

    Image 03Formula% WIDTH=1281 HEIGHT=205 + STYLE="" SRC="./03Formula.png" + ALT="Image 03Formula% WIDTH=1640 HEIGHT=262 ">

    This one formula is applied to every country in the Ravel (six countries @@ -173,12 +168,12 @@

    \includegraphics{images/03RavelDataInflationAnalyzed}% WIDTH=1160 HEIGHT=1322 + STYLE="height: 192.68ex; vertical-align: -0.02ex; " SRC="img34.png" + ALT="\includegraphics{images/03RavelDataInflationAnalyzed}% WIDTH=527 HEIGHT=1322 ">

    This illustrates the capacity of Ravel to rapidly provide insights -from data-in this case, that the best-performing country during +from data–in this case, that the best-performing country during the post-Covid inflation was Japan, and the worst performing were the USA and UK. This is noteworthy, because both the USA and UK sharply increased interest rates with the intention of reducing inflation, @@ -188,12 +183,12 @@

    These examples are drawn from economics, mainly because Ravel's inventor is an economist (and a contrarian one at that). But Ravel -can analyze any data you give it--marketing data, scientific data, +can analyze any data you give it—marketing data, scientific data, production data, whatever. It can also handle enormous data sets, far larger than are manageable with Excel.

    -Ravel can handle sparse data--it requires 16 bytes per data point, so +Ravel can handle sparse data—it requires 16 bytes per data point, so for example, a 16GB computer will technically be able to handle up to a billion data points, although in practice it is unwise to exceed more than half that. There is no limit to the number of rows and columns it can @@ -201,9 +196,9 @@

    contrast to Excel's limits of 1,048,576 rows by 16,384 columns. One other limit to keep in mind is that the size of the datacube (product of sizes of all the dimensions) cannot exceed $1.8\times -10^{19}$% WIDTH=73 HEIGHT=33 . This is something to bear in mind when importing data, as +10^{19}$% WIDTH=138 HEIGHT=29 ">. This is something to bear in mind when importing data, as the datacube size increases exponentially with the number of dimensions. @@ -214,26 +209,26 @@

    -     -next - -up - -previous - +next + +up + +previous + -contents +contents
    - Next: Getting Started with Ravel - Up: Minsky Simulation Engine - Previous: Minsky Simulation Engine -   Next: Getting Started with Ravel + Up: Minsky Simulation Engine + Previous: Minsky Simulation Engine +   Contents diff --git a/gui-js/minsky-docs/Ravel/node10.html b/gui-js/minsky-docs/Ravel/node10.html index 5c2cdca8f..b6a7b8de4 100644 --- a/gui-js/minsky-docs/Ravel/node10.html +++ b/gui-js/minsky-docs/Ravel/node10.html @@ -1,64 +1,59 @@ - - + + Insert - - - - - - + + - - -next - -up - -previous - +next + +up + +previous + -contents +contents
    - Next: Options - Up: Menus - Previous: Bookmarks -   Next: Options + Up: Menus + Previous: Bookmarks +   Contents

    -

    +

    Insert

    - +

    This menu contains all the mathematical operator blocks used in Ravel, and enables you to place those operators on the Canvas. You can get the same effect by clicking on the Design Icons. A Ravel can be inserted from this menu, as can Plots, Sheets -and Minsky-specific tools like Godley Tables. +and Minsky-specific tools like Godley Tables.


    diff --git a/gui-js/minsky-docs/Ravel/node100.html b/gui-js/minsky-docs/Ravel/node100.html index 34c88d437..c2dd756f3 100644 --- a/gui-js/minsky-docs/Ravel/node100.html +++ b/gui-js/minsky-docs/Ravel/node100.html @@ -1,66 +1,61 @@ - - + + product - - - - - - + + - - -next - -up - -previous - +next + +up + +previous + -contents +contents
    - Next: infimum - Up: Tensor operations - Previous: sum -   Next: infimum + Up: Tensor operations + Previous: sum +   Contents

    -

    +

    product $\prod $% WIDTH=19 HEIGHT=31 + STYLE="height: 2.38ex; vertical-align: -0.70ex; " SRC="img19.png" + ALT="$\prod $% WIDTH=29 HEIGHT=34 ">

    \includegraphics[height=10mm]{images/product}% WIDTH=49 HEIGHT=46 + STYLE="height: 6.50ex; vertical-align: -0.12ex; " SRC="img136.png" + ALT="\includegraphics[height=10mm]{images/product}% WIDTH=48 HEIGHT=45 ">

    - Multiply along a given axis. + Multiply along a given axis.

    The operator can be placed on the canvas in two ways: @@ -68,7 +63,7 @@

    The same result can be achieved by collapsing the relevant Ravel axis after choosing $\Pi$% WIDTH=16 HEIGHT=15 from the ``Set next + STYLE="height: 1.61ex; vertical-align: -0.12ex; " SRC="img135.png" + ALT="$\Pi$% WIDTH=23 HEIGHT=23 "> from the ``Set next aggregation'' context menu.

    diff --git a/gui-js/minsky-docs/Ravel/node101.html b/gui-js/minsky-docs/Ravel/node101.html index b0d40dfea..1e4e8e8b7 100644 --- a/gui-js/minsky-docs/Ravel/node101.html +++ b/gui-js/minsky-docs/Ravel/node101.html @@ -1,64 +1,59 @@ - - + + infimum - - - - - - + + - - -next - -up - -previous - +next + +up + +previous + -contents +contents
    - Next: supremum - Up: Tensor operations - Previous: product -   Next: supremum + Up: Tensor operations + Previous: product +   Contents

    -

    +

    infimum

    \includegraphics[height=10mm]{images/infimum}% WIDTH=49 HEIGHT=46 + STYLE="height: 6.50ex; vertical-align: -0.12ex; " SRC="img137.png" + ALT="\includegraphics[height=10mm]{images/infimum}% WIDTH=48 HEIGHT=45 ">

    - Return the least value along a given axis. + Return the least value along a given axis.

    The operator can be placed on the canvas in two ways: @@ -66,7 +61,7 @@