.hgtags
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 3923 e80ee0bdb439
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 4 to Lars
     1 0912fe37ade0b4ce604b09655ffb1806f1739713 sml-050215a-interSteps
     2 0b0dc38b1106d1f561460cc25d4abff48083e515 Root_start-work-070517
     3 0b0dc38b1106d1f561460cc25d4abff48083e515 save-head-080117
     4 0b0dc38b1106d1f561460cc25d4abff48083e515 working-version-070517
     5 0cc8d86a672b07d49715ef00ea7b7ad657e3f06b sml-050219a-cappend
     6 161819a0cbbca5b03f95e5e7c69aea9c929f8dee all-050311a-beforeStart
     7 186f34be2cdcc04b0afeb29d052269e429f84fa3 sml-050214b-INTERSTEPS
     8 1bc94c4d37dfafe684ec7b6526300a8ff42e59bd sml-050217a-fetchApplicableTactics
     9 2110e9936204a802d54c747c5e4ba4e1e2840dee sml-050219b-cappend
    10 30bb491cf9744f161243079674829c601ca93efb sml-050305d-cut_tree
    11 31f79b68d66ab8cbb5186de5b4398dc848494aa2 sml-050222a-move_dn1
    12 3e884bc2c8400a6627e5f11f7df7113919bdad0e javatests-050222-beforeEXtreme
    13 59a60ef2a2c8bd6e27476e01ef7ff06fcba9c93e Root_java_rename_format
    14 5e7da4f0da8476a542816514353cdbcb1879f29b java-050217a-ASM-1
    15 602a1a37be1c66381e98852dd6b3cf3d7bdeade2 all-050217c-ASM-2
    16 603c0de1a9e366c8a7b38e9e0b89eaeee5c2891b java_after_getElementsFromTo
    17 62c642b010d667020e1af5852650d387f332b32e sml050211c-replaceFormula
    18 630e014f478be4a1e93b56264b4cc4e6726b4b87 java-050223b-Dialog-formatted
    19 631fe7f467b73005d5e4b91dcfa0b3bf8e0753d5 Root_ML_test
    20 64601833c623e2ec23914a1be780fb38ae77520c sml-050210d
    21 64601833c623e2ec23914a1be780fb38ae77520c sml-050210e-before-start
    22 64601833c623e2ec23914a1be780fb38ae77520c sml-050211a-after-restore
    23 64601833c623e2ec23914a1be780fb38ae77520c sml-05021b-before-redo-GETACCUMULATED
    24 667ebb5afd66917ff07684ac6780d22cb94cd640 java-050222-beforeEXtreme
    25 69023190a9298ebf37e2e9b4db755873c0c1ac90 sml-050214a-intermediateSteps
    26 6aebd2dc2b0aca85abd7bbbfa78740b8d3a73230 sml-050304g-cut_tree
    27 6be2c13f61995aed28a535c191b0a87180272be5 java0505_intermed_DialogIterator_for_Worksheet
    28 733ee89e494e71cd75d1a76a93543ffee636ffa2 sml-050304g-cut_tree-050305c
    29 7cde0c98725fe1e606d2fceca9a2d9fc3493d304 Root_new_worksheet_for_CVS
    30 80f98637eff6e35cc9b801911b9fd3149e0e08b0 Root_JL_TEST
    31 867ddef984b75ba28a0d9d0f931cf813dabaf53f before_POSITION_into_CALCFO
    32 8938c59986042030acf76d02b7aad3b55b2edaf5 sml-050219c-cappend
    33 8df2ab3d17c96c3d048af37232028f9e4ffc0e1d sml-050225c-inter-050305e
    34 8ff182d2fa4ed4aaf070a10ba48459b07245cef8 sml-050225a
    35 90390fecbe74d2ff5a4754aff24eb8fc43b96691 start
    36 a756f098613c3393e70fb19e581d72df803f5b9a sml_java_before_getElementsFromTo
    37 a863de293415ee7fbbb0ae1f2f0e5ad48aff8284 sml-050305b-cut_tree
    38 aa5c4d1ce0e9fb4d0d9c3b09ac63dfebb084d869 v-0001
    39 aa5ec618bba5bdd342e9c6fdcb368afb01b7a824 sml-050303b-cappend
    40 af1a699c66fe95ef01545d4a0c8c9a475e39d8c6 exists_Formula_CalcFormula_now_separate
    41 af2ff429de9ae15efa65381f9b0288514fba9f5f sml-050211c-menu-finished
    42 b2c7891bef5dc3474fe858b8c8b24785b82d1bca sml-050210a-before-asms
    43 be35cbe2c4099f3042d59bc95b6b4b76a4a00267 sml-050221-get_allpos
    44 bf0e6012b522295d28e2d56197e33772d02be7e4 sml-050208b-interSteps
    45 c9d7192d28664829c7d3aa970d8225ec47c9c07f getApplicableTactics(int)
    46 cac1f942e1a1c852b2340e798b5c466b5d1d5f0e Root_start_Take
    47 dfedb702220a066db451cfb3404113c8b7ad28bc sml-050210b
    48 e07df099212a993d7714265a0bc30c6c39ed46bf all-050218-menuComplete
    49 e184eeada244e6849907d33cfe7dc2156d800ad6 sml-050303a-inter-cappend
    50 e28395152230e5b596c1b14df49e69bb8697ab21 sml-050304b-inform
    51 e88dafb69d6ff3b5c17ca9ec49bb957b2d786084 sml-050225c-inter
    52 ea5cddb21290be251b6e2e118fc2ca331c0a875e java_tests_TestBridge_with_getElementsFromTo
    53 f7b87610de1657318116b7abf52ddbd1dd01bcd6 sml-050210c
    54 f9316e5b54094d1bfc8c103d675bb1ba30a6b49f java-050223a-UserSettingsOK
    55 fbe7229eb70c31140d116e530f7f6bca93130a8b sml-050304c-inform
    56 fdca7e9e593a511e420acce44177115d1a30eb6d all_after_getElementsFromTo