Просмотр исходного кода

Esto es una prueba para ver si ya puedo subir cambios al repo remoto

alejandro 10 лет назад
Родитель
Сommit
61a9bc8df4
2 измененных файлов с 2804 добавлено и 0 удалено
  1. 1 0
      espec/campo.tex
  2. 2803 0
      espec/sistema.log

+ 1 - 0
espec/campo.tex

@@ -1,4 +1,5 @@
 \begin{problema}{crearC}{posG, posC: (\ent, \ent)}{Campo}
+%%	Prueba
 	\requiere{posG \neq posC}
 	\requiere{0 \leq prm(posG) \wedge 0 \leq sgd(posG) \wedge 0 \leq prm(posC) \wedge 0 \leq sgd(posC)}
 	\requiere{alcanzablesEn100(posG,posC)}

Разница между файлами не показана из-за своего большого размера
+ 2803 - 0
espec/sistema.log