Merge pull request #4155 from FStarLang/_fstar2_no_monotonic_heap

Use Pulse for verified stateful programming: Remove heap model and witness/recall, etc

Author: nikswamy

tools/diff_smt2.sh .scripts/diff_smt2.shtools/diff_smt2.sh renamed to .scripts/diff_smt2.sh

@@ -613,14 +613,11 @@ need_fstar_exe:
 		false; \
 	fi
 
-_doc: _doc_book_code _doc_old_tutorial
+_doc: _doc_book_code
 
 _doc_book_code: need_fstar_exe .force
 	+$(MAKE) -C doc/book/code FSTAR_EXE=$(FSTAR_EXE)
 
-_doc_old_tutorial: need_fstar_exe .force
-	+$(MAKE) -C doc/old/tutorial regressions FSTAR_EXE=$(FSTAR_EXE)
-
 _unit-tests: need_fstar_exe .force
 	+$(MAKE) -C tests all FSTAR_EXE=$(FSTAR_EXE)