wneuper/isa: test/Tools/isac/CLEANUP@a05df90c0dee (annotated)

walther@59691	1	rm *.sml~
walther@59691	2	rm *.sml~
walther@59691	3	rm *.sml~~
walther@59691	4	rm *.sml~~~
walther@59691	5	rm *.sml~~~~
walther@59691	6	rm *.sml~~~~~
walther@59691	7	rm *.sml~~~~~~
walther@59691	8	rm *.sml~~~~~~~
walther@59691	9	rm *.sml~~~~~~~~
walther@59691	10	rm *.sml~~~~~~~~~
walther@59691	11	rm *.sml~~~~~~~~~~
walther@59691	12	rm *.thy~
walther@59691	13	rm *.thy~
walther@59691	14	rm *.thy~~
walther@59691	15	rm *.thy~~~
walther@59691	16	rm *.thy~~~~
walther@59691	17	rm *.thy~~~~~
walther@59691	18	rm *.thy~~~~~~
walther@59691	19	rm *.thy~~~~~~~
walther@59691	20	rm *.thy~~~~~~~~
walther@59691	21	rm *.thy~~~~~~~~~
walther@59691	22	rm *.thy~~~~~~~~~~
neuper@37970	23	rm .tar
walther@59691	24	rm *.orig
walther@59691	25	rm *.orig~
walther@59691	26	rm *.orig~~
walther@59691	27	rm *.orig~~~
neuper@37970	28	cd ADDTESTS
neuper@42387	29	rm *~
neuper@42387	30	rm #*
wneuper@59315	31	rm .\#*
neuper@42387	32	rm .tar
neuper@42387	33	rm .orig
neuper@48801	34	cd accumulate-val
neuper@48801	35	rm *~
neuper@48801	36	rm #*
wneuper@59315	37	rm .\#*
neuper@48801	38	rm .tar
walther@59691	39	rm *.orig
walther@59691	40	rm *.orig~
walther@59691	41	rm *.orig~~
walther@59691	42	rm *.orig~~~
neuper@48801	43	cd ..
neuper@42387	44	cd course
neuper@42387	45	rm *~
neuper@42387	46	rm #*
wneuper@59315	47	rm .\#*
neuper@42387	48	rm .tar
neuper@42387	49	rm .orig
walther@59691	50	rm *.orig~
walther@59691	51	rm *.orig~~
walther@59691	52	rm *.orig~~~
neuper@42387	53	cd ml_quickstart
neuper@42387	54	rm *~
neuper@42387	55	rm #*
wneuper@59315	56	rm .\#*
neuper@42387	57	rm .tar
walther@59691	58	rm *.orig
walther@59691	59	rm *.orig~
walther@59691	60	rm *.orig~~
walther@59691	61	rm *.orig~~~
neuper@42387	62	cd ..
neuper@42387	63	cd phst11
neuper@42387	64	rm *~
neuper@42387	65	rm #*
wneuper@59315	66	rm .\#*
neuper@42387	67	rm .tar
walther@59691	68	rm *.orig
walther@59691	69	rm *.orig~
walther@59691	70	rm *.orig~~
walther@59691	71	rm *.orig~~~
walther@60040	72	cd ..
neuper@42387	73	cd SignalProcess
neuper@42387	74	rm *~
neuper@42387	75	rm #*
wneuper@59315	76	rm .\#*
neuper@42387	77	rm .tar
walther@59691	78	rm *.orig
walther@59691	79	rm *.orig~
walther@59691	80	rm *.orig~~
walther@59691	81	rm *.orig~~~
walther@60040	82	cd ..
neuper@42387	83	cd ..
neuper@42387	84	cd file-depend
walther@60040	85	rm *~
walther@60040	86	rm #*
walther@60040	87	rm .\#*
walther@60040	88	rm .tar
walther@60040	89	rm .orig
walther@60040	90	cd ..
wneuper@59170	91	cd libisabelle
walther@60040	92	rm *~
walther@60040	93	rm #*
walther@60040	94	rm .\#*
walther@60040	95	rm .tar
walther@60040	96	rm *.orig
walther@60040	97	rm *.orig~
walther@60040	98	rm *.orig~~
walther@60040	99	rm *.orig~~~
walther@60040	100	cd ..
walther@60040	101	cd test-depend
walther@60040	102	rm *~
walther@60040	103	rm #*
walther@60040	104	rm .\#*
walther@60040	105	rm .tar
walther@60040	106	rm *.orig
walther@60040	107	rm *.orig~
walther@60040	108	rm *.orig~~
walther@60040	109	rm *.orig~~~
walther@60040	110	cd testdir1
wneuper@59170	111	rm *~
wneuper@59170	112	rm #*
wneuper@59315	113	rm .\#*
wneuper@59170	114	rm .tar
walther@59691	115	rm *.orig
walther@59691	116	rm *.orig~
walther@59691	117	rm *.orig~~
walther@59691	118	rm *.orig~~~
wneuper@59170	119	cd ..
walther@60040	120	cd testdirm
neuper@42387	121	rm *~
neuper@42387	122	rm #*
wneuper@59315	123	rm .\#*
neuper@42387	124	rm .tar
walther@59691	125	rm *.orig
walther@59691	126	rm *.orig~
walther@59691	127	rm *.orig~~
walther@59691	128	rm *.orig~~~
neuper@42387	129	cd ..
walther@60040	130	cd ..
walther@60040	131	cd ..
walther@60040	132	cd Pure
walther@60040	133	rm *~
walther@60040	134	rm #*
walther@60040	135	rm .\#*
walther@60040	136	rm .tar
walther@60040	137	rm *.orig
walther@60040	138	rm *.orig~
walther@60040	139	rm *.orig~~
walther@60040	140	rm *.orig~~~
walther@60040	141	cd Isar
walther@60040	142	rm *~
walther@60040	143	rm #*
walther@60040	144	rm .\#*
walther@60040	145	rm .tar
walther@60040	146	rm *.orig
walther@60040	147	rm *.orig~
walther@60040	148	rm *.orig~~
walther@60040	149	rm *.orig~~~
walther@60040	150	cd ..
neuper@42387	151	cd ..
walther@59675	152	cd Minisubpbl
walther@59675	153	rm #*
walther@59675	154	rm .\#*
walther@59675	155	rm .tar
walther@59675	156	rm *.orig
walther@59675	157	rm *.orig~
walther@59691	158	rm *.orig~~
walther@59691	159	rm *.orig~~~
walther@59675	160	cd ..
walther@59675	161	cd OLDTESTS
walther@59675	162	rm #*
walther@59675	163	rm .\#*
walther@59675	164	rm .tar
walther@59675	165	rm *.orig
walther@59675	166	rm *.orig~
walther@59691	167	rm *.orig~~
walther@59691	168	rm *.orig~~~
walther@59675	169	cd ..
walther@59866	170	cd BaseDefinitions
walther@59866	171	echo "cd BaseDefinitions was successful ----------------------------------------------------------"
wneuper@59588	172	rm *.sml~
wneuper@59588	173	rm *.sml~
wneuper@59588	174	rm *.sml~~
wneuper@59588	175	rm *.sml~~~
wneuper@59588	176	rm *.sml~~~~
wneuper@59588	177	rm *.sml~~~~~
wneuper@59588	178	rm *.sml~~~~~~
wneuper@59588	179	rm *.sml~~~~~~~
wneuper@59588	180	rm *.sml~~~~~~~~
wneuper@59588	181	rm *.sml~~~~~~~~~
wneuper@59588	182	rm *.sml~~~~~~~~~~
wneuper@59588	183	rm *.thy~
wneuper@59588	184	rm *.thy~
wneuper@59588	185	rm *.thy~~
wneuper@59588	186	rm *.thy~~~
wneuper@59588	187	rm *.thy~~~~
wneuper@59588	188	rm *.thy~~~~~
wneuper@59588	189	rm *.thy~~~~~~
wneuper@59588	190	rm *.thy~~~~~~~
wneuper@59588	191	rm *.thy~~~~~~~~
wneuper@59588	192	rm *.thy~~~~~~~~~
wneuper@59588	193	rm *.thy~~~~~~~~~~
neuper@42387	194	rm #*
wneuper@59315	195	rm .\#*
neuper@42387	196	rm .tar
walther@59675	197	rm *.orig
walther@59675	198	rm *.orig~
walther@59691	199	rm *.orig~~
walther@59691	200	rm *.orig~~~
neuper@42387	201	cd ..
walther@59675	202	cd ProgLang
walther@59691	203	echo "cd ProgLang was successful -------------------------------------------------------------"
walther@59691	204	rm *.sml~
walther@59691	205	rm *.sml~
walther@59691	206	rm *.sml~~
walther@59691	207	rm *.sml~~~
walther@59691	208	rm *.sml~~~~
walther@59691	209	rm *.sml~~~~~
walther@59691	210	rm *.sml~~~~~~
walther@59691	211	rm *.sml~~~~~~~
walther@59691	212	rm *.sml~~~~~~~~
walther@59691	213	rm *.sml~~~~~~~~~
walther@59691	214	rm *.sml~~~~~~~~~~
walther@59691	215	rm *.thy~
walther@59691	216	rm *.thy~
walther@59691	217	rm *.thy~~
walther@59691	218	rm *.thy~~~
walther@59691	219	rm *.thy~~~~
walther@59691	220	rm *.thy~~~~~
walther@59691	221	rm *.thy~~~~~~
walther@59691	222	rm *.thy~~~~~~~
walther@59691	223	rm *.thy~~~~~~~~
walther@59691	224	rm *.thy~~~~~~~~~
walther@59691	225	rm *.thy~~~~~~~~~~
walther@59691	226	rm #*
walther@59691	227	rm .\#*
walther@59691	228	rm .tar
walther@59691	229	rm *.orig
walther@59691	230	rm *.orig~
walther@59691	231	rm *.orig~~
walther@59691	232	rm *.orig~~~
walther@59691	233	cd ..
walther@59691	234	cd Minisubpbl
walther@59691	235	echo "cd Minisubpbl was successful ----------------------------------------------------------"
wneuper@59595	236	rm *.sml~
wneuper@59595	237	rm *.sml~
wneuper@59595	238	rm *.sml~~
wneuper@59595	239	rm *.sml~~~
wneuper@59595	240	rm *.sml~~~~
wneuper@59595	241	rm *.sml~~~~~
wneuper@59595	242	rm *.sml~~~~~~
wneuper@59595	243	rm *.sml~~~~~~~
wneuper@59595	244	rm *.sml~~~~~~~~
wneuper@59595	245	rm *.sml~~~~~~~~~
wneuper@59595	246	rm *.sml~~~~~~~~~~
wneuper@59595	247	rm *.thy~
wneuper@59595	248	rm *.thy~
wneuper@59595	249	rm *.thy~~
wneuper@59595	250	rm *.thy~~~
wneuper@59595	251	rm *.thy~~~~
wneuper@59595	252	rm *.thy~~~~~
wneuper@59595	253	rm *.thy~~~~~~
wneuper@59595	254	rm *.thy~~~~~~~
wneuper@59595	255	rm *.thy~~~~~~~~
wneuper@59595	256	rm *.thy~~~~~~~~~
wneuper@59595	257	rm *.thy~~~~~~~~~~
walther@59675	258	rm #*
walther@59675	259	rm .\#*
walther@59675	260	rm .tar
walther@59675	261	rm *.orig
walther@59675	262	rm *.orig~
walther@59691	263	rm *.orig~~
walther@59691	264	rm *.orig~~~
wneuper@59595	265	cd ..
walther@59675	266	cd MathEngBasic
walther@59691	267	echo "cd MathEngBasic was successful ---------------------------------------------------------"
wneuper@59600	268	rm *.sml~
wneuper@59600	269	rm *.sml~
wneuper@59600	270	rm *.sml~~
wneuper@59600	271	rm *.sml~~~
wneuper@59600	272	rm *.sml~~~~
wneuper@59600	273	rm *.sml~~~~~
wneuper@59600	274	rm *.sml~~~~~~
wneuper@59600	275	rm *.sml~~~~~~~
wneuper@59600	276	rm *.sml~~~~~~~~
wneuper@59600	277	rm *.sml~~~~~~~~~
wneuper@59600	278	rm *.sml~~~~~~~~~~
wneuper@59600	279	rm *.thy~
wneuper@59600	280	rm *.thy~
wneuper@59600	281	rm *.thy~~
wneuper@59600	282	rm *.thy~~~
wneuper@59600	283	rm *.thy~~~~
wneuper@59600	284	rm *.thy~~~~~
wneuper@59600	285	rm *.thy~~~~~~
wneuper@59600	286	rm *.thy~~~~~~~
wneuper@59600	287	rm *.thy~~~~~~~~
wneuper@59600	288	rm *.thy~~~~~~~~~
wneuper@59600	289	rm *.thy~~~~~~~~~~
walther@59675	290	rm #*
walther@59675	291	rm .\#*
walther@59675	292	rm .tar
walther@59675	293	rm *.orig
walther@59675	294	rm *.orig~
walther@59691	295	rm *.orig~~
walther@59691	296	rm *.orig~~~
wneuper@59595	297	cd ..
walther@59675	298	cd Specify
walther@59691	299	echo "cd Specify was successful --------------------------------------------------------------"
walther@59691	300	rm *.sml~
walther@59691	301	rm *.sml~
walther@59691	302	rm *.sml~~
walther@59691	303	rm *.sml~~~
walther@59691	304	rm *.sml~~~~
walther@59691	305	rm *.sml~~~~~
walther@59691	306	rm *.sml~~~~~~
walther@59691	307	rm *.sml~~~~~~~
walther@59691	308	rm *.sml~~~~~~~~
walther@59691	309	rm *.sml~~~~~~~~~
walther@59691	310	rm *.sml~~~~~~~~~~
walther@59691	311	rm *.thy~
walther@59691	312	rm *.thy~
walther@59691	313	rm *.thy~~
walther@59691	314	rm *.thy~~~
walther@59691	315	rm *.thy~~~~
walther@59691	316	rm *.thy~~~~~
walther@59691	317	rm *.thy~~~~~~
walther@59691	318	rm *.thy~~~~~~~
walther@59691	319	rm *.thy~~~~~~~~
walther@59691	320	rm *.thy~~~~~~~~~
walther@59691	321	rm *.thy~~~~~~~~~~
walther@59691	322	rm #*
walther@59691	323	rm *#~
walther@59691	324	rm .\#*
walther@59691	325	rm .tar
walther@59691	326	rm *.orig
walther@59691	327	rm *.orig~
walther@59691	328	rm *.orig~~
walther@59691	329	rm *.orig~~~
walther@59691	330	cd ..
walther@59691	331	cd Interpret
walther@59691	332	echo "cd Interpret was successful ------------------------------------------------------------"
wneuper@59600	333	rm *.sml~
wneuper@59600	334	rm *.sml~
wneuper@59600	335	rm *.sml~~
wneuper@59600	336	rm *.sml~~~
wneuper@59600	337	rm *.sml~~~~
wneuper@59600	338	rm *.sml~~~~~
wneuper@59600	339	rm *.sml~~~~~~
wneuper@59600	340	rm *.sml~~~~~~~
wneuper@59600	341	rm *.sml~~~~~~~~
wneuper@59600	342	rm *.sml~~~~~~~~~
wneuper@59600	343	rm *.sml~~~~~~~~~~
wneuper@59600	344	rm *.thy~
wneuper@59600	345	rm *.thy~
wneuper@59600	346	rm *.thy~~
wneuper@59600	347	rm *.thy~~~
wneuper@59600	348	rm *.thy~~~~
wneuper@59600	349	rm *.thy~~~~~
wneuper@59600	350	rm *.thy~~~~~~
wneuper@59600	351	rm *.thy~~~~~~~
wneuper@59600	352	rm *.thy~~~~~~~~
wneuper@59600	353	rm *.thy~~~~~~~~~
wneuper@59600	354	rm *.thy~~~~~~~~~~
walther@59675	355	rm #*
walther@59675	356	rm .\#*
walther@59675	357	rm .tar
walther@59675	358	rm *.orig
walther@59675	359	rm *.orig~
walther@59691	360	rm *.orig~~
walther@59691	361	rm *.orig~~~
walther@59691	362	cd ..
walther@59691	363	cd MathEngine
walther@59691	364	echo "cd MathEngine was successful -----------------------------------------------------------"
walther@59691	365	rm *.sml~
walther@59691	366	rm *.sml~
walther@59691	367	rm *.sml~~
walther@59691	368	rm *.sml~~~
walther@59691	369	rm *.sml~~~~
walther@59691	370	rm *.sml~~~~~
walther@59691	371	rm *.sml~~~~~~
walther@59691	372	rm *.sml~~~~~~~
walther@59691	373	rm *.sml~~~~~~~~
walther@59691	374	rm *.sml~~~~~~~~~
walther@59691	375	rm *.sml~~~~~~~~~~
walther@59691	376	rm *.thy~
walther@59691	377	rm *.thy~
walther@59691	378	rm *.thy~~
walther@59691	379	rm *.thy~~~
walther@59691	380	rm *.thy~~~~
walther@59691	381	rm *.thy~~~~~
walther@59691	382	rm *.thy~~~~~~
walther@59691	383	rm *.thy~~~~~~~
walther@59691	384	rm *.thy~~~~~~~~
walther@59691	385	rm *.thy~~~~~~~~~
walther@59691	386	rm *.thy~~~~~~~~~~
walther@59691	387	rm #*
walther@59691	388	rm #*~
walther@59691	389	rm .\#*
walther@59691	390	rm .tar
walther@59691	391	rm *.orig
walther@59675	392	rm *.orig~
walther@59691	393	rm *.orig~~
walther@59691	394	rm *.orig~~~
neuper@42387	395	cd ..
walther@59691	396	cd BridgeLibisabelle
walther@59691	397	echo "cd BridgeLibisabelle was successful ----------------------------------------------------"
wneuper@59600	398	rm *.sml~
wneuper@59600	399	rm *.sml~
wneuper@59600	400	rm *.sml~~
wneuper@59600	401	rm *.sml~~~
wneuper@59600	402	rm *.sml~~~~
wneuper@59600	403	rm *.sml~~~~~
wneuper@59600	404	rm *.sml~~~~~~
wneuper@59600	405	rm *.sml~~~~~~~
wneuper@59600	406	rm *.sml~~~~~~~~
wneuper@59600	407	rm *.sml~~~~~~~~~
wneuper@59600	408	rm *.sml~~~~~~~~~~
wneuper@59600	409	rm *.thy~
wneuper@59600	410	rm *.thy~
wneuper@59600	411	rm *.thy~~
wneuper@59600	412	rm *.thy~~~
wneuper@59600	413	rm *.thy~~~~
wneuper@59600	414	rm *.thy~~~~~
wneuper@59600	415	rm *.thy~~~~~~
wneuper@59600	416	rm *.thy~~~~~~~
wneuper@59600	417	rm *.thy~~~~~~~~
wneuper@59600	418	rm *.thy~~~~~~~~~
wneuper@59600	419	rm *.thy~~~~~~~~~~
walther@59675	420	rm #*
walther@59675	421	rm .\#*
walther@59675	422	rm .tar
walther@59675	423	rm *.orig
walther@59675	424	rm *.orig~
walther@59691	425	rm *.orig~~
walther@59691	426	rm *.orig~~~
walther@59675	427	cd ..
walther@59691	428	cd Knowledge
walther@59691	429	echo "cd Knowledge was successful -----------------------------------------------------------"
walther@59675	430	rm *.sml~
walther@59675	431	rm *.sml~
walther@59675	432	rm *.sml~~
walther@59675	433	rm *.sml~~~
walther@59675	434	rm *.sml~~~~
walther@59675	435	rm *.sml~~~~~
walther@59675	436	rm *.sml~~~~~~
walther@59675	437	rm *.sml~~~~~~~
walther@59675	438	rm *.sml~~~~~~~~
walther@59675	439	rm *.sml~~~~~~~~~
walther@59675	440	rm *.sml~~~~~~~~~~
walther@59675	441	rm *.thy~
walther@59675	442	rm *.thy~
walther@59675	443	rm *.thy~~
walther@59675	444	rm *.thy~~~
walther@59675	445	rm *.thy~~~~
walther@59675	446	rm *.thy~~~~~
walther@59675	447	rm *.thy~~~~~~
walther@59675	448	rm *.thy~~~~~~~
walther@59675	449	rm *.thy~~~~~~~~
walther@59675	450	rm *.thy~~~~~~~~~
walther@59675	451	rm *.thy~~~~~~~~~~
walther@59675	452	rm #*
walther@59675	453	rm .\#*
walther@59675	454	rm .tar
neuper@42387	455	rm .orig
neuper@42404	456	cd Inverse_Z_Transform
neuper@42404	457	rm *~
neuper@42404	458	rm #*
wneuper@59315	459	rm .\#*
neuper@42404	460	rm .tar
neuper@42404	461	rm .orig
neuper@42404	462	cd ..
neuper@42387	463	cd ..

author	Walther Neuper <walther.neuper@jku.at>
	Fri, 31 Jul 2020 12:21:34 +0200
changeset 60040	a05df90c0dee
parent 59866	3b194392ea71
child 60078	38c22d92116a
permissions	-rwxr-xr-x