summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

src/Doc/System/Sessions.thy

changeset 69601 | c51a9bd4cf09 |

parent 69599 | caa7e406056d |

child 69602 | 48e973251070 |

equal
deleted
inserted
replaced

69599:caa7e406056d | 69601:c51a9bd4cf09 |
---|---|

767 |
767 |

768 \<^smallskip> Update sessions that build on \<^verbatim>\<open>HOL-Proofs\<close>, which need to be run |
768 \<^smallskip> Update sessions that build on \<^verbatim>\<open>HOL-Proofs\<close>, which need to be run |

769 separately with special options as follows: |
769 separately with special options as follows: |

770 |
770 |

771 @{verbatim [display] \<open>isabelle update -u mixfix_cartouches -l HOL-Proofs -B HOL-Proofs |
771 @{verbatim [display] \<open>isabelle update -u mixfix_cartouches -l HOL-Proofs -B HOL-Proofs |

772 -o record_proofs=2 -o parallel_proofs=0\<close>} |
772 -o record_proofs=2\<close>} |

773 |
773 |

774 \<^smallskip> See also the end of \secref{sec:tool-dump} for hints on increasing |
774 \<^smallskip> See also the end of \secref{sec:tool-dump} for hints on increasing |

775 Isabelle/ML heap sizes for very big PIDE processes that include many |
775 Isabelle/ML heap sizes for very big PIDE processes that include many |

776 sessions, notably from the Archive of Formal Proofs. |
776 sessions, notably from the Archive of Formal Proofs. |

777 \<close> |
777 \<close> |