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